PintOS
Extended an educational OS kernel
Extended Imperial’s PintOS educational operating system. Implemented priority scheduling with priority donation, the MLFQS scheduler, user program execution with stack setup, system calls, and parent-child process synchronisation.
Why it matters
The guts of a small kernel, hand-implemented: scheduling, donation to avoid priority inversion, syscalls, and process lifecycle.
Cx86 AssemblyOS DesignConcurrency
all work