summaryrefslogtreecommitdiffstats
path: root/scripts/test-fault.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/test-fault.sh')
-rwxr-xr-xscripts/test-fault.sh85
1 files changed, 0 insertions, 85 deletions
diff --git a/scripts/test-fault.sh b/scripts/test-fault.sh
deleted file mode 100755
index be2d7cd..0000000
--- a/scripts/test-fault.sh
+++ /dev/null
@@ -1,85 +0,0 @@
1#!/usr/bin/env bash
2#
3# scripts/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#
8# Usage: ./scripts/test-fault.sh
9# Env: OVMF, QEMU, SYSTEM_IMG
10#
11set -euo pipefail
12
13SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
14PROJECT_DIR="$(cd "$SCRIPT_DIR/.." && pwd)"
15cd "$PROJECT_DIR"
16
17OVMF="${OVMF:-/usr/share/edk2/x64/OVMF.4m.fd}"
18QEMU="${QEMU:-qemu-system-x86_64}"
19SYSTEM_IMG="${SYSTEM_IMG:-/tmp/system.img}"
20QPID=/tmp/rsdos-fault-qpid
21SOCK=/tmp/rsdos-fault-qmon.sock
22LOG=/tmp/rsdos-fault-serial.log
23QLOG=/tmp/rsdos-fault-qemu.log
24
25trap 'kill "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || true' EXIT
26
27fail() {
28 echo "FAIL: $1"
29 [ -f "$LOG" ] && tail -40 "$LOG"
30 exit 1
31}
32
33wait_log() {
34 local i=0
35 while [ "$i" -lt $((${3:-60} * 10)) ]; do
36 grep -q "$2" "$1" 2>/dev/null && return 0
37 sleep 0.1
38 i=$((i + 1))
39 done
40 return 1
41}
42
43echo "==> 1/5 build kernel (debug)"
44cargo build --release --package rsdos --target x86_64-unknown-uefi
45
46echo "==> 2/5 stage system image"
47"$SCRIPT_DIR/mksystem.sh" --force "$SYSTEM_IMG"
48
49echo "==> 3/5 boot QEMU (headless, + dedicated CRASHLOG stick)"
50kill "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || true
51sleep 1
52rm -f "$SOCK" "$LOG"
53CRASH_IMG=/tmp/rsdos-crash.img
54mkfs.fat -C -F 32 -n CRASHLOG "$CRASH_IMG" >/dev/null
55"$QEMU" -bios "$OVMF" \
56 -drive file="$SYSTEM_IMG",format=raw,if=none,id=disk \
57 -device ide-hd,drive=disk,bus=ide.0 \
58 -drive file="$CRASH_IMG",format=raw,if=none,id=crash \
59 -device ide-hd,drive=crash,bus=ide.1 \
60 -serial file:"$LOG" \
61 -monitor unix:"$SOCK",server,nowait \
62 -m 256M -machine q35 -cpu qemu64 -no-reboot -display none \
63 >"$QLOG" 2>&1 &
64echo $! >"$QPID"
65
66wait_log "$LOG" "boot: entering shell" 90 || fail "kernel never reached the shell"
67
68echo "==> 4/5 boot diagnostics present"
69grep -aq "gop: fb base=" "$LOG" || fail "fb geometry diagnostic missing"
70grep -aq "gop: mode .* selected" "$LOG" || fail "mode-selection diagnostic missing"
71grep -aq "CRASHLOG" "$LOG" || fail "CRASHLOG stick not mounted"
72
73echo "==> 5/5 inject a page fault (fault command)"
74python3 "$SCRIPT_DIR/sendkeys.py" --sock "$SOCK" \
75 "clear" \
76 "fault"
77sleep 2
78
79grep -aq "!!! page fault vec=14 .*rip=" "$LOG" || fail "page-fault dump line missing"
80grep -aq "cr2=0x400000000000" "$LOG" || fail "CR2 not reported (faulting address)"
81grep -aq "task=0 \"shell\"" "$LOG" || fail "faulting task not identified"
82grep -aq "!!! halting" "$LOG" || fail "no halt message"
83
84echo ""
85echo "PASS — fault dump verified"