Solution set to Nand2Tetris assignments
JiHuiYiYou-OS: co-designed microkernel OS (amd64, UEFI, capability-based) with self-invented JiHuiYiYou lang. Linear/phantom types prove capability safety at compile time; kernel as runtime safety net. GUI: linear handles + epoch revocation. Debugging: ABI-native for LLM agents (Confidence tags, DebugEvent, CodeGraph).
Experimental bootable x86-64 operating system kernel with paging, virtual memory, interrupt handling, context switching, a scheduler, syscalls, a VFS layer, and a console driver.
My own OS
A capability-based ARM64 microkernel — design blueprint, pre-implementation.
Final Project of Operating Systems Course @ Shiraz University of Technology
samOS is a lightweight and fast Linux-based operating system built on Arch Linux with its own kernel, focused on minimal and modern design.
An in-memory filesystem implementation over the FUSE base operations scafolding with implemented persistency when unmounting
To associate your repository with the os-design topic, visit your repo's landing page and select "manage topics."