diff options
| author | salmonik <salmonik@tuta.io> | 2026-08-01 22:28:34 +0200 |
|---|---|---|
| committer | salmonik <salmonik@tuta.io> | 2026-08-01 22:28:34 +0200 |
| commit | ab7d87bcde31c1681ea09c30534dde840a58d6fa (patch) | |
| tree | 42eed2c86663cf6ecfa3507ca46399e31b441c99 /shell/src | |
| parent | rsboot: track latest upstream HEAD (92367a8) instead of pinned ee1c85b (diff) | |
| download | rs-dos-ab7d87bcde31c1681ea09c30534dde840a58d6fa.tar.gz rs-dos-ab7d87bcde31c1681ea09c30534dde840a58d6fa.zip | |
rsnix v0.5.2: fault diagnostics + real-hardware scroll-crash hardening
The real-hardware scroll crash (white bands + instant freeze, QEMU-clean)
was invisible because the only trace was a single serial line on machines
with no serial console. This makes every crash self-identifying and
hardens the real-hardware failure surfaces:
- Every CPU exception vector 0-31 now has an IDT entry (macro-generated
stubs; 8/14 keep their IST stacks). A fault in the shell prints a
white-on-red band to the framebuffer via gop::dump_lines (raw fb
writes bypassing the vt, fully clamped) plus a parseable serial line:
'!!! <kind> vec=N err=… rip=… cr2=… rsp=… rflags=… task=N "name"',
then halts — instead of converging to a cryptic double fault.
Background-task faults abort the task as before.
- Boot log now reports the authoritative post-SetMode geometry:
'gop: fb base=… size=… pitch=… WxH bpp=… bgr=…', so the next real
machine's report identifies whether pitch*height exceeds the mapping.
- Framebuffer writes (clear, push_rect, shift_up_n bulk push, cursor
overlay) are clamped to the firmware's framebuffer_size: a pitch-
padded mode degrades to a truncated view instead of faulting past
the mapping.
- The GOP framebuffer region is excluded from the page allocator (and
subtracted from the heap's conventional-region pick) even when the
firmware lists it as ConventionalMemory — kernel allocations can
never overwrite the display again. The GOP protocol is located and
peeked before the memory map is captured so the exclusion is known
at heap-init time.
- Shell gains a hidden 'fault' command (deliberate unmapped write) and
'make test-fault' verifies the dump: vec=14, cr2=0x400000000000,
task=0, halt — no triple fault. All other suites re-pass.
- CONTEXT.md: fault-dump format documented for real-hardware reports.
Diffstat (limited to 'shell/src')
| -rw-r--r-- | shell/src/lib.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/shell/src/lib.rs b/shell/src/lib.rs index e1d54c8..3090776 100644 --- a/shell/src/lib.rs +++ b/shell/src/lib.rs | |||
| @@ -721,6 +721,7 @@ write `{} <path> TIL <marker>`", | |||
| 721 | "sleep" => cmd_sleep(&parsed), | 721 | "sleep" => cmd_sleep(&parsed), |
| 722 | "kill" => cmd_kill(&parsed), | 722 | "kill" => cmd_kill(&parsed), |
| 723 | "demo" => cmd_demo(&parsed), | 723 | "demo" => cmd_demo(&parsed), |
| 724 | "fault" => cmd_fault(), | ||
| 724 | _ => term_err(&alloc::format!("unknown command: {}", cmd)), | 725 | _ => term_err(&alloc::format!("unknown command: {}", cmd)), |
| 725 | } | 726 | } |
| 726 | } | 727 | } |
| @@ -806,6 +807,18 @@ fn cmd_hello(p: &Parsed) { | |||
| 806 | pipe.end(); | 807 | pipe.end(); |
| 807 | } | 808 | } |
| 808 | 809 | ||
| 810 | /// Deliberately fault on an unmapped address — test hook that verifies | ||
| 811 | /// the fault-dump path (screen + serial) halts cleanly instead of | ||
| 812 | /// triple-faulting. The system stops; the log must show the dump. | ||
| 813 | /// Canonical-but-unmapped address (below 2^47, above any RAM/MMIO): the | ||
| 814 | /// page walk terminates at a not-present entry → #PF with CR2 = address. | ||
| 815 | fn cmd_fault() { | ||
| 816 | term_println("fault: writing to 0x0000_4000_0000_0000..."); | ||
| 817 | unsafe { | ||
| 818 | core::ptr::write_volatile(0x0000_4000_0000_0000usize as *mut u32, 0x1234u32); | ||
| 819 | } | ||
| 820 | } | ||
| 821 | |||
| 809 | fn cmd_clear() { | 822 | fn cmd_clear() { |
| 810 | rsnix::gop::clear_screen(); | 823 | rsnix::gop::clear_screen(); |
| 811 | } | 824 | } |
