diff options
Diffstat (limited to 'scripts/test-fault.sh')
| -rwxr-xr-x | scripts/test-fault.sh | 85 |
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 | # | ||
| 11 | set -euo pipefail | ||
| 12 | |||
| 13 | SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)" | ||
| 14 | PROJECT_DIR="$(cd "$SCRIPT_DIR/.." && pwd)" | ||
| 15 | cd "$PROJECT_DIR" | ||
| 16 | |||
| 17 | OVMF="${OVMF:-/usr/share/edk2/x64/OVMF.4m.fd}" | ||
| 18 | QEMU="${QEMU:-qemu-system-x86_64}" | ||
| 19 | SYSTEM_IMG="${SYSTEM_IMG:-/tmp/system.img}" | ||
| 20 | QPID=/tmp/rsdos-fault-qpid | ||
| 21 | SOCK=/tmp/rsdos-fault-qmon.sock | ||
| 22 | LOG=/tmp/rsdos-fault-serial.log | ||
| 23 | QLOG=/tmp/rsdos-fault-qemu.log | ||
| 24 | |||
| 25 | trap 'kill "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || true' EXIT | ||
| 26 | |||
| 27 | fail() { | ||
| 28 | echo "FAIL: $1" | ||
| 29 | [ -f "$LOG" ] && tail -40 "$LOG" | ||
| 30 | exit 1 | ||
| 31 | } | ||
| 32 | |||
| 33 | wait_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 | |||
| 43 | echo "==> 1/5 build kernel (debug)" | ||
| 44 | cargo build --release --package rsdos --target x86_64-unknown-uefi | ||
| 45 | |||
| 46 | echo "==> 2/5 stage system image" | ||
| 47 | "$SCRIPT_DIR/mksystem.sh" --force "$SYSTEM_IMG" | ||
| 48 | |||
| 49 | echo "==> 3/5 boot QEMU (headless, + dedicated CRASHLOG stick)" | ||
| 50 | kill "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || true | ||
| 51 | sleep 1 | ||
| 52 | rm -f "$SOCK" "$LOG" | ||
| 53 | CRASH_IMG=/tmp/rsdos-crash.img | ||
| 54 | mkfs.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 & | ||
| 64 | echo $! >"$QPID" | ||
| 65 | |||
| 66 | wait_log "$LOG" "boot: entering shell" 90 || fail "kernel never reached the shell" | ||
| 67 | |||
| 68 | echo "==> 4/5 boot diagnostics present" | ||
| 69 | grep -aq "gop: fb base=" "$LOG" || fail "fb geometry diagnostic missing" | ||
| 70 | grep -aq "gop: mode .* selected" "$LOG" || fail "mode-selection diagnostic missing" | ||
| 71 | grep -aq "CRASHLOG" "$LOG" || fail "CRASHLOG stick not mounted" | ||
| 72 | |||
| 73 | echo "==> 5/5 inject a page fault (fault command)" | ||
| 74 | python3 "$SCRIPT_DIR/sendkeys.py" --sock "$SOCK" \ | ||
| 75 | "clear" \ | ||
| 76 | "fault" | ||
| 77 | sleep 2 | ||
| 78 | |||
| 79 | grep -aq "!!! page fault vec=14 .*rip=" "$LOG" || fail "page-fault dump line missing" | ||
| 80 | grep -aq "cr2=0x400000000000" "$LOG" || fail "CR2 not reported (faulting address)" | ||
| 81 | grep -aq "task=0 \"shell\"" "$LOG" || fail "faulting task not identified" | ||
| 82 | grep -aq "!!! halting" "$LOG" || fail "no halt message" | ||
| 83 | |||
| 84 | echo "" | ||
| 85 | echo "PASS — fault dump verified" | ||
