arc loader for raspberry pi, loads arc dos from adk
Everything builds in Docker — no host cross-toolchain needed:
cd loader/ramdisk && ./make-ramdisk.sh # FAT16 disk image -> obj/ramdisk.img
cd ../../build && ./build.sh # -> obj/loader.{elf,bin}
build.sh auto-builds the arc-rpi-build toolchain image on first run
(build/Dockerfile: Debian bookworm + arm-linux-gnueabihf-gcc 12.2.0). To build
it explicitly: docker build -t arc-rpi-build:latest build.
build/run.sh # QEMU raspi2b: HDMI window + PL011 serial in the terminal. Quit with Ctrl-A then X
For a real Pi 2, build the loader with ./build.sh RAMDISK_INITRAMFS=1 and write the
SD card image with sdcard/make-sd-image.sh.