On 2019-12-24, Stuart Henderson <s...@spacehopper.org> wrote: > On 2019-12-22, Stuart Longland <stua...@longlandclan.id.au> wrote: >> On 23/12/19 4:03 am, Strahil Nikolov wrote: >>> did anyone try to install openBSD on Raspberry Pi 4B ? >>> I know it's not supported , but maybe it does work :) > > Some of the devices on rpi4 don't yet have driver support. > > Notably: > > - ethernet > - PCIE (the USB controller is now attached to the PCIE bus) > - and we still don't have SD support for any of the rpi boards > > So, at present there's no local storage, no network, and no way to add > either via USB. It will only be useful if you're interested in kernel > development and really you want an existing board that is already working > properly in OpenBSD/arm64.
Oh, maybe with an exception (not that I can test): it seems the USB-C used for powering the device may be connected to a DesignWare controller like the ones used in old Pi's. So there is a chance of working USB with a USB-C hub and the power-over-ethernet hat.