BFE EngineeringandClaude Fable 5
c7e06514ad
Phase 3 of the device sim, all verified on QEMU 10.0.11: - qemu/rs485-bridge/: std-only crate bridging a QEMU serial chardev (unix socket) to warden_sim::ModbusSlave — gap-based RTU framing (CRC failures degrade to real-slave silence), line-protocol control socket for register seeding and fault injection (drop/exception/clear), bounds-checked so a scenario typo answers err instead of panicking the bus. 7 unit tests, bench in the sim_bench pattern. Verified end-to-end: guest master frame on /dev/ttyS4 (pci-serial) answered from the sim slave, CRC-correct. - virt machine gains highmem=off: the 32-bit non-LPAE kernel cannot reach virt's default 40-bit PCIe ECAM (pci-host-generic EOVERFLOW); with it the full PCI set probes (16550A ttyS0, i6300esb). - Watchdog scenario verified: guest arms /dev/watchdog, no petting, i6300esb resets the VM ~30s later (first environment where this arm is testable). - qemu/tests/portal-scenario.sh: the real static-musl warden-flared inside the VM against flare-edge's mock portal on the host — authenticated check-in, firmware desired-state pull, and download of a real signed tier-1 .wfw offer, asserted from the portal log. Found and filed flare-edge#106 (fatal SIGBUS in the HPMCU boot-loaded probe on non-RV1106 memory maps); runs against a flared built from the qemu-vm-support fix branch. - stage-2 init: WARDEN_FLARE_INSECURE=1 + WARDEN_HPMCU=0 (documented VM deviations), firmware-version stamp, newline-terminated state seeds. - CI: rs485-bridge joins the test loop and bench job; new qemu-tools job (shellcheck + initramfs + disk image on hosted runners); kernel-build gains a fail-closed qemu boot-smoke step. All qemu scripts shellcheck-clean. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_018HUayid7W5w7jBdb9Rrj1K
80 lines
2.7 KiB
Bash
80 lines
2.7 KiB
Bash
# shellcheck shell=bash
|
|
# Shared helpers for the qemu/ device-sim build scripts. Sourced, not executed.
|
|
# Callers must run under `set -euo pipefail` and define QEMU_DIR (the qemu/ dir).
|
|
|
|
BB_VER=1.31.0
|
|
BB_URL="https://busybox.net/downloads/binaries/${BB_VER}-defconfig-multiarch-musl/busybox-armv7l"
|
|
|
|
qemu_log() { printf '\033[36m== %s\033[0m\n' "$*"; }
|
|
|
|
# Fetch (or accept via $BUSYBOX) the pinned static armv7 busybox and verify it
|
|
# against qemu/busybox.sha256. FAILS CLOSED: a missing pin refuses to build,
|
|
# never silently skips verification — mirroring build/build-kernel.sh's
|
|
# tarball handling. Sets $BB to the verified binary's path.
|
|
qemu_get_busybox() {
|
|
local sha_file="$QEMU_DIR/busybox.sha256"
|
|
local out="${OUT:-$QEMU_DIR/out}"
|
|
mkdir -p "$out"
|
|
BB="${BUSYBOX:-$out/busybox-armv7l}"
|
|
if [ ! -f "$BB" ]; then
|
|
qemu_log "downloading $BB_URL"
|
|
curl -fSL "$BB_URL" -o "$BB"
|
|
fi
|
|
[ -f "$sha_file" ] || {
|
|
echo "FATAL: no pinned sha256 for busybox (expected $sha_file) — refusing to build from an unverified binary" >&2
|
|
exit 1
|
|
}
|
|
local want got
|
|
want="$(cat "$sha_file")"
|
|
got="$(sha256sum "$BB" | awk '{print $1}')"
|
|
[ "$want" = "$got" ] || { echo "busybox sha256 mismatch: want $want got $got" >&2; exit 1; }
|
|
qemu_log "busybox sha256 verified"
|
|
}
|
|
|
|
# Stage the shared rootfs skeleton (qemu/rootfs/ + busybox) into $1.
|
|
# Requires qemu_get_busybox to have run (uses $BB).
|
|
qemu_stage_rootfs() {
|
|
local root="$1"
|
|
mkdir -p "$root/bin" "$root/sbin" "$root/dev" "$root/proc" "$root/sys" \
|
|
"$root/etc" "$root/tmp" "$root/mnt" "$root/userdata" "$root/oem" \
|
|
"$root/usr/bin" "$root/usr/share/udhcpc"
|
|
install -m 0755 "$BB" "$root/bin/busybox"
|
|
cp -a "$QEMU_DIR/rootfs/." "$root/"
|
|
chmod 0755 "$root/init" "$root/sbin/init" "$root/etc/rc" \
|
|
"$root/usr/share/udhcpc/default.script"
|
|
}
|
|
|
|
# Parse a "SIZE[@OFFSET](NAME)" blkdevparts entry list (without the "vda:"
|
|
# prefix) and invoke a callback `$1 name offset_bytes size_bytes` per entry.
|
|
qemu_each_partition() {
|
|
local cb="$1" parts entry size_s off_s name size off
|
|
parts="${WARDEN_BLKDEVPARTS#*:}"
|
|
off=0
|
|
local IFS=','
|
|
for entry in $parts; do
|
|
name="${entry##*(}"; name="${name%)}"
|
|
size_s="${entry%%(*}"
|
|
if [ "${size_s#*@}" != "$size_s" ]; then
|
|
off_s="${size_s#*@}"; size_s="${size_s%@*}"
|
|
off="$(qemu_to_bytes "$off_s")"
|
|
fi
|
|
size="$(qemu_to_bytes "$size_s")"
|
|
"$cb" "$name" "$off" "$size"
|
|
off=$((off + size))
|
|
done
|
|
}
|
|
|
|
qemu_to_bytes() {
|
|
local v="$1" n mult=1
|
|
case "$v" in
|
|
*K) n="${v%K}"; mult=1024 ;;
|
|
*M) n="${v%M}"; mult=1048576 ;;
|
|
*G) n="${v%G}"; mult=1073741824 ;;
|
|
*) n="$v" ;;
|
|
esac
|
|
case "$n" in
|
|
''|*[!0-9]*) echo "FATAL: bad blkdevparts size/offset token: '$v'" >&2; exit 1 ;;
|
|
esac
|
|
echo $((n * mult))
|
|
}
|