diff options
Diffstat (limited to '')
| -rwxr-xr-x | scripts/tests/test-fault.sh | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/scripts/tests/test-fault.sh b/scripts/tests/test-fault.sh new file mode 100755 index 0000000..0c39cde --- /dev/null +++ b/scripts/tests/test-fault.sh | |||
| @@ -0,0 +1,47 @@ | |||
| 1 | #!/usr/bin/env bash | ||
| 2 | # | ||
| 3 | # scripts/tests/test-fault.sh — fault-diagnostics verification. | ||
| 4 | # | ||
| 5 | # Proves the fault-dump path: every CPU exception prints a white-on-red | ||
| 6 | # band to the framebuffer and a parseable serial line before halting. | ||
| 7 | # Boots with a dedicated CRASHLOG FAT stick on ide.1 so the crash band | ||
| 8 | # has somewhere to write. | ||
| 9 | # | ||
| 10 | # Usage: ./scripts/tests/test-fault.sh | ||
| 11 | # Env: SYSTEM_IMG, OVMF, QEMU (see scripts/lib.sh) | ||
| 12 | # | ||
| 13 | set -euo pipefail | ||
| 14 | TNAME="fault" | ||
| 15 | # shellcheck source=../lib.sh | ||
| 16 | source "$(dirname "$0")/../lib.sh" | ||
| 17 | |||
| 18 | echo "==> 1/5 build (kernel + bins)" | ||
| 19 | build_all | ||
| 20 | |||
| 21 | echo "==> 2/5 stage system image" | ||
| 22 | stage_image --force | ||
| 23 | |||
| 24 | echo "==> 3/5 boot QEMU (headless, + dedicated CRASHLOG stick)" | ||
| 25 | CRASH_IMG=/tmp/rsdos-crash.img | ||
| 26 | rm -f "$CRASH_IMG" | ||
| 27 | mkfs.fat -C -F 32 -n CRASHLOG "$CRASH_IMG" 65536 >/dev/null | ||
| 28 | test_boot \ | ||
| 29 | -drive "file=$CRASH_IMG,format=raw,if=none,id=crash" \ | ||
| 30 | -device ide-hd,drive=crash,bus=ide.1 | ||
| 31 | |||
| 32 | echo "==> 4/5 boot diagnostics present" | ||
| 33 | grep -aq "gop: fb base=" "$LOG" || fail "fb geometry diagnostic missing" | ||
| 34 | grep -aq "gop: mode .* selected" "$LOG" || fail "mode-selection diagnostic missing" | ||
| 35 | grep -aq "CRASHLOG" "$LOG" || fail "CRASHLOG stick not mounted" | ||
| 36 | |||
| 37 | echo "==> 5/5 inject a page fault (fault command)" | ||
| 38 | sendkeys "clear" "fault" | ||
| 39 | sleep 2 | ||
| 40 | |||
| 41 | grep -aq "!!! page fault vec=14 .*rip=" "$LOG" || fail "page-fault dump line missing" | ||
| 42 | grep -aq "cr2=0x400000000000" "$LOG" || fail "CR2 not reported (faulting address)" | ||
| 43 | grep -aq "task=0 \"shell\"" "$LOG" || fail "faulting task not identified" | ||
| 44 | grep -aq "!!! halting" "$LOG" || fail "no halt message" | ||
| 45 | |||
| 46 | echo "" | ||
| 47 | echo "PASS — fault dump verified" | ||
