|
Kernelite 0.1.0
Kernelite is a minimalist, educational operating system kernel built from scratch. The project aims to recreate core components of the Linux architecture to explore the fundamentals of operating system design and hardware-software interaction.
|
GICR_WAKER — Redistributor Wake Register (RD frame, offset 0x0014, RW) More...
GICR_WAKER — Redistributor Wake Register (RD frame, offset 0x0014, RW)
Controls and reflects the sleep/wake state of this Redistributor. The boot sequence requires clearing ProcessorSleep and then polling ChildrenAsleep until it reads 0 before the PE can receive interrupts.