Hobby Operating System
Go to file
Drew Galbraith 75b1f2d21c [zion] Store capability ids on the CapabilityTable.
This is preferable to storing it in the capability itself since the id
is really just an index for the containing process.
2023-06-16 15:27:09 -07:00
lib Add deletion functions 2023-06-16 01:30:08 -07:00
scripts Build GCC/Binutils toolchain in tree. (#1) 2023-06-15 18:39:14 -04:00
sys Working AHCI DMA IPC from yellowstone to denali. 2023-06-16 01:31:23 -07:00
toolchain Build GCC/Binutils toolchain in tree. (#1) 2023-06-15 18:39:14 -04:00
zion [zion] Store capability ids on the CapabilityTable. 2023-06-16 15:27:09 -07:00
.clang-format
.gdbinit
.gitignore
CMakeLists.txt Compile with -fno-rtti 2023-06-16 01:30:31 -07:00
LICENSE Add LICENSE and README 2023-05-31 00:03:44 -07:00
README.md Add LICENSE and README 2023-05-31 00:03:44 -07:00
init-dbg.sh Build GCC/Binutils toolchain in tree. (#1) 2023-06-15 18:39:14 -04:00

README.md

AcadiaOS

AcadiaOS is a hobby operating system Iuse to explore and learn about OS development.

It is built on top of a small microkernel (currently ~3k LOC) that is capability based and provides memory management, process scheduling, and hardware access.