x86 Operating System Kernel
Processes, paging, preemption. Built at the boundary between software and hardware.
A kernel.
A complete system.
A 32-bit x86 kernel implementing the Pebbles specification for CMU 15-410, with isolated address spaces, preemptive scheduling, synchronization, and user-level exception handling.
Built on course-provided boot infrastructure, libraries, and the Pebbles API.
/dev/portfolio
Meet the kernel.
Boot my 32-bit x86 operating system,
right here in your browser.