diff options
Diffstat (limited to '')
| -rw-r--r-- | CONTEXT.md | 23 |
1 files changed, 19 insertions, 4 deletions
| @@ -113,10 +113,13 @@ Workspace version is `a.b.c` (single version for all crates): | |||
| 113 | 113 | ||
| 114 | Bump the workspace version in the root `Cargo.toml` when a change of | 114 | Bump the workspace version in the root `Cargo.toml` when a change of |
| 115 | that class lands — do not leave the version to drift. Current: | 115 | that class lands — do not leave the version to drift. Current: |
| 116 | `0.5.1` — the GUI era landed with 0.5.0 (graphics layer + cursor | 116 | `0.5.2` — the GUI era landed with 0.5.0 (graphics layer + cursor |
| 117 | compositor) and the canvas was fixed at 800×600 as a `c` bump; a | 117 | compositor); 0.5.1 fixed the canvas at 800×600; 0.5.2 added fault |
| 118 | future major GUI overhaul (graphics windows beyond the text surface) | 118 | diagnostics (screen + serial dumps for every CPU exception) and |
| 119 | would be the `a` bump (1.0.0). | 119 | real-hardware hardening (framebuffer-size clamping, fb-region exclusion |
| 120 | from the allocators, authoritative fb geometry logging). A future | ||
| 121 | major GUI overhaul (graphics windows beyond the text surface) would be | ||
| 122 | the `a` bump (1.0.0). | ||
| 120 | 123 | ||
| 121 | ## Project layout | 124 | ## Project layout |
| 122 | 125 | ||
| @@ -388,6 +391,18 @@ Workspace of four crates, all built for the `x86_64-unknown-uefi` target: | |||
| 388 | hardware pushes only 24 bytes at same privilege, so the extra | 391 | hardware pushes only 24 bytes at same privilege, so the extra |
| 389 | fields are inert there; the synthetic frames set them | 392 | fields are inert there; the synthetic frames set them |
| 390 | explicitly either way. | 393 | explicitly either way. |
| 394 | - `interrupts`/`sched` fault dumps (0.5.2): every CPU exception | ||
| 395 | vector 0-31 has an IDT entry (macro-generated stubs; 8/14 keep | ||
| 396 | their ISTs). Any fault in the shell (task ≤ 1) prints a | ||
| 397 | white-on-red band via `gop::dump_lines` (raw fb, bypasses vt, | ||
| 398 | clamped) *and* a parseable serial line — `!!! <kind> vec=N | ||
| 399 | err=… rip=… cr2=… rsp=… rflags=… task=N "name"` — then halts; | ||
| 400 | faults in background tasks abort the task instead. Real | ||
| 401 | hardware has no serial console, so the screen band is how a | ||
| 402 | crash reports itself; a non-canonical write shows vec=13 (GP, | ||
| 403 | cr2=0), an unmapped canonical address shows vec=14 with cr2= | ||
| 404 | the address. `fault` shell command + `make test-fault` verify | ||
| 405 | the path. | ||
| 391 | - Panic handling: a task panic (or guard-page overflow) is caught, | 406 | - Panic handling: a task panic (or guard-page overflow) is caught, |
| 392 | logged as `sched: task N "name" panicked: …`, the task is marked | 407 | logged as `sched: task N "name" panicked: …`, the task is marked |
| 393 | Done, and the scheduler switches away — the shell keeps running. | 408 | Done, and the scheduler switches away — the shell keeps running. |
