🌟Welcome to Newfangled OS 🚀Unveiling the Newfangled Operating System-a remarkable blend of innovation and security built on the impervious seL4 Microkernel.🛡️Our journey began with dedicated servers and a threaded execution model,including File and Process Management servers, and a robust Interrupt Handling thread.🛠️📊Join us in the revolution.
security
file-server
memory-management
syscalls
virtual-memory
operatingsystems
demand-paging
sel4-microkernel
device-drivers
interrupt-handling
threaded-execution-model
process-management-server
timerdriver
-
Updated
Sep 1, 2023 - C