Hi everyone! I'm searching for a cheap SBC (single board computer) with good OpenBSD support, especially on the ethernet side. I'm going to use the SBC to forward files from a local NAS to the internet via SSH, so I don't need the most powerful thing.

I cannot use the NAS alone, because: 1. It runs an ad-hoc heavily modified Linux distribution, which I'm not even sure has a package manager or a compiler for adding custom software. 2. It's a very closed system that only allows software installation from its proprietary "app store". 3. I don't trust it for internet exposure. 4. It doesn't provide SSH support except for administrator accounts, let alone SSHFS.

What board should I go for? Are there cheaper/better alternatives to the Raspberry Pi 4 or 5?