Downloads

Latest Release: v0.3.0 (Simple File System & ATA Integration)

• Source code (zip)
• Bootable image (bootimage-daxo_os.bin)
• Screenshot
• Test disk image: disk.bin (clone the repo to get it)

To run on real hardware, write the bootable image to a USB drive (e.g., dd if=bootimage-daxo_os.bin of=/dev/sdX).

Previous Release: v0.2.0 (User Space & Hardware Privilege Isolation)

• Source code (zip)
• Bootable image (bootimage-daxo_os.bin)
• Screenshot

Older Release: v0.1.0 (First Successful Boot & ATA Driver)

• Source code (zip)
• Bootable image (bootimage-daxo_os.bin)

Changelog

• v0.3.0 – Simple FAT-like file system on top of ATA driver, directory listing support.
• v0.2.0 – Ring 3 transition, syscall stub, user page isolation, Lean verification, microkernel.info registration.
• v0.1.0 – Initial public release: VGA, ATA driver, async executor, GDT/IDT.