×

⚡ Daxo OS – архитектурный манифест

Daxo OS – микроядро, написанное на Rust для архитектуры x86_64.

• Асинхронный исполнитель – кооперативная многозадачность на базе Future и собственного Executor.
• Управление памятью – 4‑уровневая страничная организация, изоляция Ring 0 / Ring 3, аллокаторы bump, linked list и fixed‑size block.
• Драйверы – PIO ATA (чтение секторов), PS/2 клавиатура с асинхронным потоком скан‑кодов.
• Системные вызовы – пользовательские программы могут вызывать ядро через syscall.
• Формальная верификация – часть модулей проверена в Lean 4.

Репозиторий: github.com/daxo-developer/daxo_os

“The metal remembers every electron.”