Pintos: Operating System Development
Built Pintos educational operating system: a pedagogical project for understanding core OS concepts on 80x86 architecture. I developed and refined kernel threads, virtual memory management, user program execution, and file system features.
COperating SystemsThreadingConcurrencySystem CallsVirtual MemoryFile systemsSWE
Learn more
GitHub unavailable — source cannot be published under course academic integrity policies.