Pintos

An educational operating system for 80x86 architecture.

Key Implementations

• Kernel-level threading with priority scheduling and synchronization primitives (locks, semaphores)
• System call handling for user program execution, including process management and file operations
• Virtual memory system featuring demand paging, stack growth, memory mapped files
  • Designed to accommodate future Copy-on-Write integration