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.
It's generally a fairly decent board (some problems but it's much more
capable than previous Pi versions), but not at all useful if you just want
to run OpenBSD as a user.
> Or maybe not as it's a very different SoC.
>
> Core might be an ARM, but it'll have its peripherals in different places
> to that of the Pi 3 and an OS kernel won't be smart enough to figure
> that out without being told.
This information isn't directly in the kernel, a device tree from the
boot loader is used. From INSTALL.arm64:
"Firmware which provides an EFI interface with a Device Tree Blob (DTB)
file is required to boot. In most cases this is provided by images of
U-Boot 2016.07 or newer on SD/MMC devices or in SPI flash. If the
miniroot images are used, U-Boot and DTB files are distributed as part
of the miniroot disk images."
