summaryrefslogtreecommitdiffstats
path: root/shell
diff options
context:
space:
mode:
authorsalmonik <salmonik@tuta.io>2026-08-01 22:28:34 +0200
committersalmonik <salmonik@tuta.io>2026-08-01 22:28:34 +0200
commitab7d87bcde31c1681ea09c30534dde840a58d6fa (patch)
tree42eed2c86663cf6ecfa3507ca46399e31b441c99 /shell
parentrsboot: track latest upstream HEAD (92367a8) instead of pinned ee1c85b (diff)
downloadrs-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 '')
-rw-r--r--shell/src/lib.rs13
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.
815fn 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
809fn cmd_clear() { 822fn cmd_clear() {
810 rsnix::gop::clear_screen(); 823 rsnix::gop::clear_screen();
811} 824}