Re: Newer development boards

Hello Benny,

   BS> I second the recommendation for the Raspberry Pi 4.  Booting is
     > the simplest thing ever: download Tianocore EDK2 for Raspberry
     > Pi 4 and unzip the file into the EFI partition, add the EFI
     > bootloader from NetBSD and you're all set.

    Sounds more involved than "the simplest thing ever" but I'm
willing to have a go.

   BS> I am running an RPi4 from a spinning-rust hard drive connected
     > over USB.  No SD card needed at all.  Rock-solid...I found that
     > a HDD is actually not bad for running compiles.  At least, its
     > performance is more predictable than that of an SD card.

    On my 32-bit Raspberry Pi boards (mostly 1B and Zero, though I had
a 32-bit 2B for a while) I run from (micro)SDHC with a USB 2.5" disk
for swap and pkgsrc.

Thanks
  -Andy.