Introduction to Theseus OS
1.
Design and Structure of Theseus
1.1.
Source Code Repository Organization
1.2.
Boot-up Procedure
1.3.
Safe-language OS Principles
1.4.
Intralingual Design
2.
Developing a Theseus Application
3.
The Theseus Build Process
3.1.
Configuring Theseus
3.2.
theseus_cargo: Building Rust Crates Out-of-Tree
4.
Experimental Support for C programs
4.1.
Building a C cross compiler for Theseus
4.2.
tlibc: Theseus's libc and how it works
4.3.
Compiling and linking C programs
5.
Overview of Key Subsystems
5.1.
Memory Management
5.1.1.
Mapping Virtual to Physical Memory
5.1.2.
Heap Allocators
5.2.
Task Management
5.2.1.
Task Management Invariants
5.3.
Display and Window Management
5.3.1.
The Window Manager
5.3.2.
Creating and Displaying Windows
6.
Running Theseus on Virtual Machines & Real Hardware
6.1.
Running Theseus in a Virtual Machine
6.1.1.
Using PCI device Passthrough on QEMU
6.2.
Theseus on Headless Systems
6.3.
Booting via USB drive
6.4.
Booting over the network (PXE)
7.
How to Contribute
7.1.
Git Guidelines
Papers and Presentations/Slides
Theseus README + Quick Start ↗️
Light (default)
Rust
Coal
Navy
Ayu
The Theseus OS Book
Theseus README + Quick Start
Click here to see the main Theseus README for quick start instructions.