OpenBSD 7.1
openbsd.org
openbsd.org
And honestly even right now, the state of very compact high CPU performance PCs is actually kinda surprisingly mediocre. I've found myself researching it quite a bit from the perspective of gateway/firewall usage, where I've moved fully away from crappy proprietary appliances to doing it on standard systems. For racking stuff there are lots of great options and none of this would replace them. But if you want something more like a classic appliance in a small scale setting that's compact, very low energy, quiet, etc, but has more oomph than something like an RPi too. It's actually very easy to rapidly get into the $600+ range even for something with fairly mediocre performance.
Whereas a base Mac Mini M1 goes new for $700 and already floods the used market for $350-500, and has literally nearly an order of magnitude more performance than an RPi 4 while still only using 15W. It's almost double the single thread speed and +50% the multithread of the (admittedly now old, but also still what AMD is selling as their current embedded chip until Genoa) EPYC 3251 I have in a much more expensive system. Granted that has IPMI and a bunch of other non-CPU features that are very valuable to me, but still. And GPU and any GUI is perfectly irrelevant. The Mini could be an excellent option for a lot of appliance usage honestly which is a pretty surprising place to be but there it is.