Alquist

$ a bare-metal operating system_

Alquist is a small bare-metal operating system project for AArch64. We are building it from first boot upward: UART, exception levels, memory, interrupts, scheduling, user programs, storage, and the drivers that make the board answer back.

Right now the main track is the kernel tutorial, with a separate disk tutorial growing alongside it. The documentation records the stable contracts we discover while bringing the Raspberry Pi 4 hardware to life.