Operating Systems Kernel (Pintos)

Overview

An educational operating system kernel implementing core OS abstractions including process management, synchronization, virtual memory, and file systems. Built to explore how kernel subsystems interact under concurrency and resource constraints.

Highlights

• Implemented kernel-level process and thread management, including scheduling and synchronization primitives.
• Built virtual memory support with paging, address translation, and page fault handling.
• Designed and implemented a file system with persistent storage, buffering, and concurrent access control.
• Debugged complex kernel behavior using low-level tooling and test harnesses to ensure correctness under concurrency.