ssmithx
be82d9dd81
Bootable aarch64 image pipeline: cross-build efi-raw image from rpi4.scm (nonguix linux 6.17 + firmware subsets), inject the Pi boot chain (start4.elf, u-boot distro boot, DTB, extlinux.conf) with prepare-rpi-image.sh. Includes host setup and pitfalls docs, OpenWrt userland package drafts, and the project plans.
15 lines
624 B
Bash
Executable File
15 lines
624 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Boot the Guix prototype in qemu-system-aarch64 (-M virt, UEFI via AAVMF).
|
|
# Host is x86_64, so this runs under TCG. SSH: ssh -p 2222 root@localhost (pw: guix)
|
|
set -euo pipefail
|
|
cd "$(dirname "$0")"
|
|
IMG="${1:-$(pwd)/guix-mt6000.img}"
|
|
[ -e "$IMG" ] || { echo "no image $IMG — run ./build-image.sh first"; exit 1; }
|
|
exec qemu-system-aarch64 \
|
|
-M virt -cpu max -m 1024 -smp 4 -nographic \
|
|
-bios /usr/share/AAVMF/AAVMF_CODE.fd \
|
|
-drive if=none,id=root,file="$IMG",format=raw \
|
|
-device virtio-blk-pci,drive=root \
|
|
-netdev user,id=net0,hostfwd=tcp::2222-:22 \
|
|
-device virtio-net-pci,netdev=net0
|