Skip to main content
Ryan Orban

Ryan Orban

Subject
3 entries

Operating Systems

Bookmarks

  1. Formal Verification of an OS Kernel

  2. Writing an OS in Rust

    Philipp Oppermann's 'Writing an OS in Rust' is a series of detailed blog posts walking through building a minimal OS kernel in Rust from scratch — bootloader, VGA output, interrupts, memory management. The gold standard for learning both Rust and OS internals simultaneously.

  3. MIT 6.033: Computer System Engineering

    MIT 6.033 Computer System Engineering covers the design of large, complex software systems — reliability, fault tolerance, operating systems, networking, and distributed systems. One of MIT's most comprehensive systems courses, available free via OpenCourseWare.

All bookmarks