Dev board setup update

Three of the five dev boards are now running – ARM64, ARM32, MIPS32. I built the SD card image for RISC-V yesterday and this morning (actually involves building an entire Linux distro!) but it looks like the power button on the SBC is broken so I can’t power the board up right now!

The Intel x86 (actual 32-bit only) SBC I tried powering up a few days ago but it didn’t play ball – that’s next to investigate, while I figure out what to do with the power button on the RISC-V.

Finally, my laptop is working (go figure 🙂 so x86_64 is working.