Worked on the hermit-os/kernel repository to deliver a robust enhancement of the GICv3/v4 interrupt controller, focusing on aligning the kernel’s interrupt infrastructure with modern AArch64 hardware requirements. The approach involved refactoring interrupt controller variables for clarity and maintainability, clarifying the separation between controller interfaces and redistributors, and introducing device-tree driven addressing to support multi-CPU redistributor configurations. Leveraging expertise in ARM architecture, embedded systems, and Rust, the work improved hardware compatibility and multi-core scalability. These changes laid the foundation for future performance improvements and platform expansion by ensuring the kernel’s interrupt handling adheres closely to GIC specifications and standards.