1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
#!/usr/bin/env bash
#
# scripts/test-disk.sh — full automated data-disk round trip.
#
# Builds the kernel, ensures the FAT32 image exists (with --fresh it is
# re-formatted and re-seeded), boots QEMU headless, drives the shell via
# the monitor, then verifies the results with mtools and fsck.
#
# Usage:
# ./scripts/test-disk.sh # reuse existing image
# ./scripts/test-disk.sh --fresh # re-format the image first
#
# Environment:
# DISK_IMG data disk path (default: /tmp/disk.img)
# OVMF firmware (default: /usr/share/edk2/x64/OVMF.4m.fd)
# QEMU qemu binary (default: qemu-system-x86_64)
#
set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
PROJECT_DIR="$(dirname "$SCRIPT_DIR")"
cd "$PROJECT_DIR"
FRESH=0
[ "${1:-}" = "--fresh" ] && FRESH=1
OVMF="${OVMF:-/usr/share/edk2/x64/OVMF.4m.fd}"
QEMU="${QEMU:-qemu-system-x86_64}"
IMG="${DISK_IMG:-/tmp/disk.img}"
ESP_DIR="$PROJECT_DIR/esp"
QPID=/tmp/rsdos-test-qpid
SOCK=/tmp/rsdos-test-qmon.sock
LOG=/tmp/rsdos-test-serial.log
QLOG=/tmp/rsdos-test-qemu.log
STAMP="$(date +%s)"
# Never leave a QEMU behind (an orphan holding our stdout would hang any
# caller that pipes our output).
trap 'kill "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || true' EXIT
fail() {
echo "FAIL: $1"
[ -f "$LOG" ] && tail -20 "$LOG"
exit 1
}
# wait_log FILE PATTERN TIMEOUT-SECONDS — poll a file for a regex.
wait_log() {
local i=0
while [ "$i" -lt $((${3:-60} * 10)) ]; do
grep -q "$2" "$1" 2>/dev/null && return 0
sleep 0.1
i=$((i + 1))
done
return 1
}
# wait_qemu_exit TIMEOUT-SECONDS — poll until the pid is gone.
wait_qemu_exit() {
local i=0
while [ "$i" -lt $((${1:-30} * 10)) ]; do
kill -0 "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || return 0
sleep 0.1
i=$((i + 1))
done
return 1
}
echo "==> 1/6 build kernel (debug)"
cargo build --package rsdos --target x86_64-unknown-uefi
echo "==> 2/6 deploy to ESP + ensure disk image"
mkdir -p "$ESP_DIR/EFI/BOOT"
cp target/x86_64-unknown-uefi/debug/rsdos.efi "$ESP_DIR/EFI/BOOT/BOOTX64.EFI"
"$SCRIPT_DIR/mkdisk.sh" $([ "$FRESH" -eq 1 ] && echo --fresh) "$IMG"
echo "==> 3/6 boot QEMU (headless)"
kill "$(cat "$QPID" 2>/dev/null)" 2>/dev/null || true
sleep 1
rm -f "$SOCK" "$LOG"
"$QEMU" -bios "$OVMF" \
-drive file="$IMG",format=raw,if=none,id=disk \
-device ide-hd,drive=disk,bus=ide.0 \
-drive file=fat:rw:"$ESP_DIR",format=raw,if=none,id=esp \
-device ide-hd,drive=esp,bus=ide.1 \
-serial file:"$LOG" \
-monitor unix:"$SOCK",server,nowait \
-m 256M -machine q35 -cpu qemu64 -no-reboot -display none \
>"$QLOG" 2>&1 &
echo $! >"$QPID"
wait_log "$LOG" "boot: entering shell" 90 || fail "kernel never reached the shell"
sleep 1
# Volumes mount under /disk/<UID>/ where UID = "LABEL-SERIAL" (e.g.
# RSDOS-5BD1E55F). Discover it from the boot log so the test works on
# any image without knowing the serial in advance.
VOL_UID="$(grep -a 'fat: mounted' "$LOG" | sed -n 's/.*at \/disk\/\([^ )]*\).*/\1/p' | head -1)"
[ -n "$VOL_UID" ] || fail "no FAT32 volume was mounted (look for 'fat: mounted' in the log)"
echo " mounted volume UID: $VOL_UID"
echo "==> 4/6 drive the shell (ls / mkdir / echo > / cat / poweroff)"
# The filename is deliberately >13 chars so the FAT LFN path gets
# multi-entry entries (they're stored last-first on disk).
TESTFILE="disk-test-$STAMP.txt"
python3 "$SCRIPT_DIR/sendkeys.py" --sock "$SOCK" \
"ls /disk" \
"mkdir /disk/$VOL_UID/sub" \
"echo disk-test-$STAMP > /disk/$VOL_UID/sub/$TESTFILE" \
"cat /disk/$VOL_UID/sub/$TESTFILE" \
"poweroff"
echo "==> 5/6 wait for shutdown"
wait_qemu_exit 30 || fail "QEMU did not exit after poweroff"
echo "==> 6/6 verify"
grep -a "disk-test-$STAMP" "$LOG" >/dev/null || fail "cat output missing from serial log"
if ! fsck.fat -n "$IMG" >/tmp/rsdos-fsck.out 2>&1; then
fail "fsck.fat reports problems: $(cat /tmp/rsdos-fsck.out | tail -3)"
fi
MT="$(mtype -i "$IMG" "::/sub/$TESTFILE" 2>/dev/null || true)"
[ "$MT" = "disk-test-$STAMP" ] || fail "mtype mismatch: got '$MT'"
echo ""
echo "PASS — disk round trip OK (fsck clean, file survived poweroff)"
echo " image: $IMG"
echo " volume: /disk/$VOL_UID"
echo " written: /disk/$VOL_UID/sub/$TESTFILE = \"disk-test-$STAMP\""
|
