unix-kernel-subsystem

A Unix-style Pintos kernel: safe multiprogramming, IPC, resource limits and demand-paged virtual memory.

• Page-replacement benchmarks →

  Measured clock vs FIFO vs random eviction, a paging curve, and a trace-driven simulation against Belady's optimal.

• Source on GitHub →

  Code, architecture decision records (docs/adr/), system-call reference, and the test harness.