> The current target platforms are Rockchip RK3399, Allwinner A64/H5, Raspberry Pi 3 and Opteron A1100.
That's a good list, it may cover a number of "Maker"-oriented single-board computers that are fun to play with.
Note that most of the Raspberry Pi chip is its Broadcom Videocore IV graphics processor, which is not supported by the OpenBSD OS. You would have to hook up a screen to the GPIO pins, I think, rather than getting display out of the HDMI port. There are lots of LCD display "hats" on the market.
(I am typing this on my iPad, which is an iOS device, which is a descendent of BSD.)
Armbian and DietPI pages, although Linux oriented, contain a fairly long list of hackable boards, so you can look there for boards using supported platforms.
> The current target platforms are Rockchip RK3399, Allwinner A64/H5, Raspberry Pi 3 and Opteron A1100.
That's a good list, it may cover a number of "Maker"-oriented single-board computers that are fun to play with.
Note that most of the Raspberry Pi chip is its Broadcom Videocore IV graphics processor, which is not supported by the OpenBSD OS. You would have to hook up a screen to the GPIO pins, I think, rather than getting display out of the HDMI port. There are lots of LCD display "hats" on the market.
(I am typing this on my iPad, which is an iOS device, which is a descendent of BSD.)
[0]: https://www.openbsd.org/arm64.html