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.

Reply via email to