diff options
| author | salmonik <salmonik@tuta.io> | 2026-08-01 16:19:45 +0200 |
|---|---|---|
| committer | salmonik <salmonik@tuta.io> | 2026-08-01 16:19:45 +0200 |
| commit | ce43cb9554d443f12af886ee035a73bf9b322ac5 (patch) | |
| tree | 4611a08b2596ab49c25793f20e126b66fea26169 /Makefile | |
| parent | rsnix: formatting (diff) | |
| download | rs-dos-ce43cb9554d443f12af886ee035a73bf9b322ac5.tar.gz rs-dos-ce43cb9554d443f12af886ee035a73bf9b322ac5.zip | |
docs: ADR 0003 (preemptive kernel tasks) + task glossary terms
- ADR 0003: preemptive round-robin kernel tasks on the 100 Hz tick,
shared address space, guard pages + page-fault handler, graceful task
panics, safe-builtin spawn surface, only-shell-touches-I/O invariant
- CONTEXT.md: new 'Task' glossary entry; 'Paging strategy' now says
guard pages exist on task stacks
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions