PintOS
Kernel work across synchronisation, process boundaries, file access, and virtual memory.
C, Git, GCC, Bash
What I built
Implemented semaphores, locks, and recursive priority donation; safe user-pointer handling and system calls; process and file-descriptor management; supplemental page tables, lazy loading, and page replacement.