Building Daxo OS: A bare-metal x86_64 multitasking microkernel in Rust using NixOS

Hi everyone, I wanted to share an open-source project I’ve been building from scratch: **Daxo OS** - an independent multitasking microkernel for `x86_64` written in Rust (`#![no_std]`, `#![no_main]`). The entire development and cross-compilation pipeline is managed within a reproducible NixOS environment. The project focuses on bare-metal systems programming, hardware privilege isolation (Ring 0 to Ring 3), custom memory management, and cooperative asynchronous task execution. -– ### Deve...