Is Daxo OS a microkernel?

Yes, Daxo OS is a microkernel – it runs core services like memory management and task scheduling in kernel space, while drivers and filesystems are isolated.

Does it run on real hardware?

Absolutely. Daxo OS boots and runs on physical x86_64 machines (tested on Acer laptops) – no emulator required. See the video proof above.

What languages is it written in?

The kernel is written in Rust with inline Assembly (x86_64). Build tools include GNU Make and linker scripts.

Daxo OS — Bare‑Metal x86

     ######      ###    ##     ##  #######     #######   ######  
     ##   ##    ## ##    ##   ##  ##     ##   ##     ## ##    ## 
     ##    ##  ##   ##    ## ##   ##     ##   ##     ## ##       
     ##    ## ##     ##    ###    ##     ##   ##     ##  ######  
     ##    ## #########   ## ##   ##     ##   ##     ##       ## 
     ##   ##  ##     ##  ##   ##  ##     ##   ##     ## ##    ## 
     ######   ##     ## ##     ##  #######     #######   ######

$ uname -s -r Daxo OS 0.3.0 — x86_64

An independent x86_64 microkernel operating system built from scratch.
Running live on bare metal.

▶ Watch Bare‑Metal Boot View on GitHub

### Real Hardware Execution

⬆ Booting Daxo OS on Acer laptop

➡ Multitasking & shell demo

### Core Architecture & Features

Memory Management

4‑level paging memory isolation mapped successfully at high canonical addresses.

Multitasking

Cooperative multitasking powered by a custom asynchronous task executor.

Storage & Drivers

Low‑level PIO ATA driver implementation and a custom FAT‑like filesystem parsing sectors directly from LBA 0.

Bare‑Metal Compatibility

Tested and verified on physical x86_64 hardware architectures.

### Tech Stack

Rust Assembly (x86_64) QEMU / BIOS GNU Make / Linker Scripts Rufus (DD Mode)