An experimental operating system built on seL4, featuring concurrent system calls, process and file management, virtual memory, demand paging, and interrupt handling.
operating-system file-server memory-management syscalls virtual-memory sel4 operatingsystems demand-paging sel4-microkernel device-drivers interrupt-handling threaded-execution-model timerdriver
-
Updated
Oct 18, 2026 - C