SakuraOS

Development Progress

Active development across kernel, bootloader, filesystem, and VirtIO.

Microkernel

In progress

Core subsystems implemented; proof and benchmarks ongoing.

Bootloader

In progress

Boot phases and protocol stabilized; integration tests continue.

Kagura FS

In progress

Protocol and crypto ready; I/O and integration in progress.

VirtIO Drivers

In progress

Core queues and transports ready; proof work expanding.

Current Focus

  • Expanding SPARK proof coverage and contract completeness.
  • Integration tests across boot chain and storage stack.
  • Performance baselines for IPC, I/O, and boot time.

Verification & Quality

  • SPARK-first development with targeted proof levels.
  • Strict coding standards and deterministic error handling.
  • Protocol and format specs validated against tests.

Milestone Map

PHASE 0

Foundation

Core architecture, protocols, and base implementations.

PHASE 1

Proof & Validation

Deeper SPARK proofs, test vectors, and compliance checks.

PHASE 2

Integration

End-to-end boot flow, storage, and I/O performance tuning.