Learning path and prerequisites¶
In this chapter
- Learning path and prerequisites
- 01 · Matter, mathematical tools, electricity, devices and logic
- 02 · Mathematical tools, representation and algorithms
- 03 · Instruction execution and platform
- 04 · From reset to kernel entry
- 05 · Kernel, memory and execution contexts
- 06 · Languages, compilers and runtimes
- 07 · Persistent state and filesystems
- 08 · From bytes to the desktop
- 09 · Geometry, rasterization and GPUs
- 10 · Networks and protocol state
- 11 · Emulation and virtualization
- 12 · Bootstrap, validation and research
- 13 · Development environment and contribution
The sequence organizes the corpus into levels, modules and chapters. A missing entry is an explicit gap, not a published chapter. Word count is only an editorial signal, not evidence of mastery or technical completeness. Level and module headings link to the first authored chapter in that section.
01 · Matter, mathematical tools, electricity, devices and logic¶
Matter and physical models¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 1 | Matter, atoms, charge and physical models | Text floor met; technical review required | — | — |
Mathematical tools for physical systems¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 2 | Vectors and complex numbers for systems | Text floor met; technical review required | Matter, atoms, charge and physical models | Matter, atoms, charge and physical models |
Charge, circuits and electromagnetic behavior¶
Semiconductor devices and electrical logic¶
Boolean and numerical logic¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 19 | Boolean algebra and logic representation | Text floor met; technical review required | Logic levels, thresholds, fan-out and noise margins | Logic levels, thresholds, fan-out and noise margins |
| 20 | Number systems and binary arithmetic | Text floor met; technical review required | Boolean algebra and logic representation | Boolean algebra and logic representation |
| 21 | Combinational circuits | Text floor met; technical review required | Boolean algebra and logic representation; Transistors and CMOS logic | Number systems and binary arithmetic |
| 22 | Adders, ALUs and finite-width arithmetic | Text floor met; technical review required | Combinational circuits; Number systems and binary arithmetic | Combinational circuits |
State, time and memory cells¶
02 · Mathematical tools, representation and algorithms¶
Mathematical language for discrete systems¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 28 | Discrete mathematics: sets, relations and functions | Text floor met; technical review required | Boolean algebra and logic representation; Number systems and binary arithmetic | SRAM, DRAM and the memory abstraction used by ChrisOS |
| 29 | Proof, invariants and induction for systems | Text floor met; technical review required | Discrete mathematics: sets, relations and functions | Discrete mathematics: sets, relations and functions |
Bits, types and layout¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 30 | Data representation, memory layout and pointers | Text floor met; technical review required | Number systems and binary arithmetic; Registers, counters and state transitions | Proof, invariants and induction for systems |
Complexity and algorithmic reasoning¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 31 | Algorithm analysis and systems cost models | Text floor met; technical review required | Data representation, memory layout and pointers; Proof, invariants and induction for systems | Data representation, memory layout and pointers |
| 32 | Recursion, recurrences and amortized analysis | Text floor met; technical review required | Algorithm analysis and systems cost models; Proof, invariants and induction for systems | Algorithm analysis and systems cost models |
Data structures¶
Algorithms used by systems software¶
03 · Instruction execution and platform¶
Datapath, microarchitecture and ISA¶
Machine code and x86-64 encoding¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 48 | Machine code, assembly and relocatable meaning | Text floor met; technical review required | CPU datapath and instruction-set architecture; Data representation, memory layout and pointers | Out-of-order execution, register renaming and retirement |
| 49 | x86-64 registers, aliases and flags | Text floor met; technical review required | CPU datapath and instruction-set architecture; Adders, ALUs and finite-width arithmetic; Registers, counters and state transitions | Machine code, assembly and relocatable meaning |
| 50 | x86 instruction encoding and bounded decoding | Text floor met; technical review required | Machine code, assembly and relocatable meaning; x86-64 registers, aliases and flags | x86-64 registers, aliases and flags |
Addressing and protection¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 51 | x86-64 memory, privilege and architectural state | Text floor met; technical review required | CPU datapath and instruction-set architecture; x86-64 registers, aliases and flags; x86 instruction encoding and bounded decoding | x86 instruction encoding and bounded decoding |
| 52 | Privilege rings, controlled entry and protection boundaries | Text floor met; technical review required | x86-64 memory, privilege and architectural state | x86-64 memory, privilege and architectural state |
Memory hierarchy and concurrency¶
Devices and platform discovery¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 57 | Buses, memory-mapped I/O and DMA | Text floor met; technical review required | x86-64 memory, privilege and architectural state; Caches and memory hierarchy; Atomic operations and the memory model | Atomic operations and the memory model |
| 58 | PCI and PCI Express | Text floor met; technical review required | Buses, memory-mapped I/O and DMA; x86-64 memory, privilege and architectural state | Buses, memory-mapped I/O and DMA |
| 59 | ACPI and platform description | Text floor met; technical review required | PCI and PCI Express; x86-64 memory, privilege and architectural state | PCI and PCI Express |
04 · From reset to kernel entry¶
Firmware and boot contracts¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 60 | Reset, CPU startup and firmware | Text floor met; technical review required | ACPI and platform description; x86-64 registers, aliases and flags; x86-64 memory, privilege and architectural state | ACPI and platform description |
| 61 | UEFI | Text floor met; technical review required | Reset, CPU startup and firmware | Reset, CPU startup and firmware |
| 62 | Limine boot protocol | Text floor met; technical review required | UEFI; Reset, CPU startup and firmware | UEFI |
| 63 | Boot information, normalization and ownership | Text floor met; technical review required | Limine boot protocol | Limine boot protocol |
Executable layout and entry¶
05 · Kernel, memory and execution contexts¶
Trust boundaries and exception entry¶
Frames and address translation¶
Concurrency and ownership¶
User execution and process lifecycle¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 89 | User-mode entry and controlled return to ring 0 | Text floor met; technical review required | GDT and TSS; Virtual memory and address-space construction | Executable memory, JIT aliases and W^X |
| 90 | Native processes and system calls | Text floor met; technical review required | Virtual memory and address-space construction; Kernel model, protection domains and trust boundaries; User-mode entry and controlled return to ring 0 | User-mode entry and controlled return to ring 0 |
| 91 | Safe user-memory access | Text floor met; technical review required | Virtual memory and address-space construction; User-mode entry and controlled return to ring 0 | Native processes and system calls |
| 92 | Process lifecycle and state | Text floor met; technical review required | Virtual memory and address-space construction; Physical memory management; User-mode entry and controlled return to ring 0 | Safe user-memory access |
06 · Languages, compilers and runtimes¶
Compiler construction¶
ChrisC and CLVM execution¶
Native toolchain¶
07 · Persistent state and filesystems¶
Block transport and media¶
ChrisFS structures and recovery¶
08 · From bytes to the desktop¶
Pixel memory and composition¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 127 | Pixels, framebuffer memory and presentation | Text floor met; technical review required | Data representation, memory layout and pointers; Buses, memory-mapped I/O and DMA; Kernel heap, ownership and allocation lifetime | ChrisFS consistency checking and corruption detection |
| 128 | Color formats and alpha | Text floor met; technical review required | Pixels, framebuffer memory and presentation; Data representation, memory layout and pointers | Pixels, framebuffer memory and presentation |
| 129 | 2D primitives and composition | Text floor met; technical review required | Pixels, framebuffer memory and presentation; Color formats and alpha; Algorithm analysis and systems cost models | Color formats and alpha |
| 130 | Desktop composition | Text floor met; technical review required | Pixels, framebuffer memory and presentation; Color formats and alpha; 2D primitives and composition | 2D primitives and composition |
Input, windows and applications¶
09 · Geometry, rasterization and GPUs¶
Geometry and sampling¶
Device transport and commands¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 146 | VirtIO-GPU and VirGL | Text floor met; technical review required | Buses, memory-mapped I/O and DMA; Software 3D renderer | Parallel software rasterization |
| 147 | VirtIO-GPU transport and resources | Text floor met; technical review required | Buses, memory-mapped I/O and DMA | VirtIO-GPU and VirGL |
| 148 | Gfx3D backend-neutral API | Text floor met; technical review required | Software 3D renderer; VirtIO-GPU transport and resources | VirtIO-GPU transport and resources |
| 149 | VirGL command stream | Text floor met; technical review required | Gfx3D backend-neutral API; VirtIO-GPU transport and resources | Gfx3D backend-neutral API |
Programmable shading¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 150 | Programmable shaders and Chris Shader IR | Text floor met; technical review required | Compiler construction pipeline in ChrisOS; Software 3D renderer; VirtIO-GPU and VirGL | VirGL command stream |
| 151 | GLSL subset frontend | Text floor met; technical review required | Programmable shaders and Chris Shader IR; Compiler construction pipeline in ChrisOS | Programmable shaders and Chris Shader IR |
| 152 | Chris Shader IR | Text floor met; technical review required | GLSL subset frontend | GLSL subset frontend |
| 153 | TGSI backend | Text floor met; technical review required | Chris Shader IR; VirGL command stream | Chris Shader IR |
| 154 | Software shader backend | Text floor met; technical review required | Chris Shader IR; Gfx3D backend-neutral API | TGSI backend |
| 155 | Mine Chris graphics pipeline | Text floor met; technical review required | Textures; Clipping, rejection and visibility boundaries; Software 3D renderer | Software shader backend |
10 · Networks and protocol state¶
Frames, datagrams and streams¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 156 | Ethernet framing | Text floor met; technical review required | — | Mine Chris graphics pipeline |
| 157 | IPv4 and addressing | Text floor met; technical review required | Ethernet framing | Ethernet framing |
| 158 | UDP | Text floor met; technical review required | Ethernet framing; IPv4 and addressing | IPv4 and addressing |
| 159 | TCP fundamentals and ChrisOS transfer path | Text floor met; technical review required | IPv4 and addressing | UDP |
ChrisOS network integration¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 160 | Network stack and VirtIO networking | Text floor met; technical review required | Buses, memory-mapped I/O and DMA; Interrupts and symmetric multiprocessing | TCP fundamentals and ChrisOS transfer path |
| 161 | VirtIO-net | Text floor met; technical review required | Buses, memory-mapped I/O and DMA | Network stack and VirtIO networking |
| 162 | Socket ownership and API | Text floor met; technical review required | TCP fundamentals and ChrisOS transfer path; UDP | VirtIO-net |
11 · Emulation and virtualization¶
Architectural semantics¶
ChrisVM platform¶
Hardware virtualization¶
12 · Bootstrap, validation and research¶
Self-hosting¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 182 | Self-hosting and bootstrap | Text floor met; technical review required | Native toolchain: KCC, ChrisAsm, ChrisO and ChrisLd; Desktop, windows and applications | EPT and NPT: second-level translation for ChrisHV |
| 183 | SH0-SH6 self-host evidence model | Text floor met; technical review required | Self-hosting and bootstrap | Self-hosting and bootstrap |
| 184 | Compiler staging and convergence | Text floor met; technical review required | Self-hosting and bootstrap; SH0-SH6 self-host evidence model | SH0-SH6 self-host evidence model |
| 185 | Internally produced kernel | Text floor met; technical review required | Self-hosting and bootstrap; Compiler staging and convergence | Compiler staging and convergence |
| 186 | Reproducible builds and provenance | Text floor met; technical review required | Compiler staging and convergence; Internally produced kernel | Internally produced kernel |
Physical hardware¶
Experiments and evidence¶
Specifications and primary references¶
Architecture history¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 208 | Architecture history and superseded evidence | Text floor met; technical review required | — | Primary bibliography and standards map |
| 209 | Graphics architecture history | Text floor met; technical review required | Architecture history and superseded evidence | Architecture history and superseded evidence |
| 210 | Native toolchain history | Text floor met; technical review required | Architecture history and superseded evidence | Graphics architecture history |
| 211 | ChrisVM history | Text floor met; technical review required | Architecture history and superseded evidence | Native toolchain history |
Corpus maintenance¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 212 | Low-context documentation maintenance | Text floor met; technical review required | — | ChrisVM history |
| 213 | Source and revision policy | Text floor met; technical review required | Low-context documentation maintenance | Low-context documentation maintenance |
| 214 | Documentation schema and templates | Text floor met; technical review required | Low-context documentation maintenance | Source and revision policy |
13 · Development environment and contribution¶
Workstation and toolchain¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 215 | Developer Guide | Text floor met; technical review required | — | Documentation schema and templates |
| 216 | Linux development environment | Text floor met; technical review required | Developer Guide | Developer Guide |
| 217 | Windows and WSL2 development environment | Text floor met; technical review required | Developer Guide | Linux development environment |
Build, execution and validation¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 218 | Build, run and debug | Text floor met; technical review required | Developer Guide | Windows and WSL2 development environment |
| 219 | Testing and validation | Text floor met; technical review required | Build, run and debug | Build, run and debug |
| 220 | Development troubleshooting | Text floor met; technical review required | Build, run and debug | Testing and validation |
Contribution workflow¶
| No. | Chapter | State | Prerequisites | Previous in sequence |
|---|---|---|---|---|
| 221 | Contribution workflow | Text floor met; technical review required | Testing and validation | Development troubleshooting |