Hardkernel, a Korean company, make an alternative to the Raspberry Pi, the latest being the 'Odroid C4', CPU manufactured by Amlogic (American).
Unlike the Pi 4 which uses an A72, the C4 uses a CPU without Spectre bugs - the A55. This is an iteration onwards from the A53 which was used in the Pi 3 (and the later releases of the Pi 2, to get an idea of the age of the A53). https://developer.arm.com/support/arm-security-updates/speculative-processor-vulnerability It also comes with a good heatsink (Pi tends to overheat and underclock itself), and omits built-in wireless devices. https://www.raspberrypi.org/blog/thermal-testing-raspberry-pi-4/ I owned an ODROID board in the past and was impressed with the hardware. However, the software support for Linux is majorly lacking, and so quite buggy (basic things like USB, ethernet) unless using their self-released old-patched-up kernels. But perhaps this is an opportunity for OpenBSD? I don't know how much work it is to port OpenBSD to an ARM board, or if Hardkernel do a good job of making this task easy. I noticed the ODROID-N2 is supported by OpenBSD, which would give an indication (but the N2 has an A73 and so Spectre bugs). Any thoughts?
