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
-
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:
- 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)
- The Design and Implementation of the FreeBSD Operating System (2014), Kopie
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).
$Id: bs.html,v 1.18 2024/08/27 13:01:21 oj14ozun Exp $