Links zu allgemeinen Betriebsystem-Themen

Die folgenden Links sind nicht direkt für SP relevant, aber können trotzdem nützlich oder interessant sein:

• Vorlesung Betriebssysteme, und danach Betriebssystemtechnik am i4
• Praktikum PASST (Praktikum angewandte Systemsoftwaretechnik) am i4
• Lehr-Betriebssystem xv6 (Moderne Unix Version-6 für RISC-V), vom MIT
  • Quelltext des Betriebsystems
  • Alte Version des Betriebsystems (für x86-Systeme)
  • Kommentare zum Quelltext
  • Commentary on the Sixth Edition UNIX Operating System (auch bekannt als Lions Book (Online mit Quelltext lesbar), wird als das am öftesten photokopierte Buch der Informatik angesehen), auf dem xv6 basiert ist.
• Buch Operating System Design - The Xinu Approach, ein weiteres Buch das den gesamten Quelltext eines Betriebsystems (Xinu — Xinu Is Not Unix) kommentiert.
• Serenity OS: Ein OS-from-Scratch mit graphischer Oberfläche:
  • Quelltext des Betriebsystems
  • YouTube Kanal vom Hauptentwickler
• Project eXpOS (eXperimental Operating System)
• Unix Heritage Society, mit altem Quelltext (bspw. Libc und Befehle für Unix v7).
• Buch Operating Systems: Three Easy Pieces (Auch als eine PDF frei verfügbar).
• Buch Operating System Concepts.
• OSDev Wiki, mit ausführlichen Erklärungen.
• How to create an OS from scratch
• Kleines Buch über Betriebssystem-Entwickelung.
• Roll your own toy UNIX-clone OS
• Linux Quelltext Browser.
• Kapitel The Operating System aus dem Buch Computer Science from the Bottom Up
• Sammlung von exotischen, nicht-Unix Betriebssystemen.
• A Heavily Commented Linux Source Code (Kernel Version 0.12)
• Celebrating 50 years of the UNIX Operating system, von SDF zum ausprobieren von alten UNIX und BSD versionen.
• seL4, ein formal verifizierter Kernel (whitepaper) der L4 micro-kernel Familie.
• Capsicum, ein Betriebsystem mit Fokus auf Object Capabilities mittels Datei-Deskriptoren
• Writing an OS in Rust, eine Serie von didaktischen Artikeln zum Schreiben eines Betriebsystems (vergleichbar zu BS+BST)
• Ironclad, ein freies Betriebsystem geschrieben in der Programmiersprache Ada.
• Delimited continuations in operating systems

Siehe auch: Betriebsysteme (im weiteren Sinne) in meiner allgemeinen Link-Sammlung (hat teilweise Duplikate).