Re: Raspberry Pi question
On 2019-12-24, Stuart Henderson wrote: > On 2019-12-22, Stuart Longland 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.
Re: Raspberry Pi question
On 2019-12-22, Stuart Longland 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."
Re: Raspberry Pi question
On 24/12/19 6:17 am, Strahil Nikolov wrote: > В неделя, 22 декември 2019 г., 20:15:20 ч. Гринуич+2, Stuart Longland > написа: > 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 :) >> 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. > > thanks for the reply. > > So far I have been using only x86_64 and everything was "ready to go",and I > have never thought about that. Yep, common issue when someone that's used to IBM PC compatibles starts playing with RISC platforms. Particularly when they start playing with ARM, MIPS, SuperH or Motorola 68k, because those CPUs were widely used in many otherwise incompatible hardware designs. Anyone who had played around with the Apple II and Commodore 64, would have noted that almost no non-trivial programs worked on both platforms unmodified even though both machines sported the MOS6502 CPU as brains. (C64 had the VIC-II graphics IC but the Apple II bit-banged its video output for example.) Basically nearly all x86 computers you see are built around the standard defined by IBM when they released their first PC, so the CPU boots up in "real mode" where it pretends to be an overclocked Intel 8086; there's a "BIOS" in non-volatile storage that provides a consistent environment for an OS (these days just used by the boot-loader) and contains routines for communicating with the peripherals needed. The closest x86 comes to breaking away from that was the Apple MacBook which uses UEFI firmware out-of-the-box and only included BIOS compatibility by way of Apple Bootcamp. > Any ideas if Pi 4B will be supported, or I should stick with Linux. Well, I won't speak for the person/team doing the Raspberry Pi port… It's difficult to say though because Broadcom (who make the SoC in the Raspberry Pi) do not publish much in the way of datasheets unless you've signed an NDA with them, and they won't even enter into an NDA with you unless you're going to be buying their parts in the 10s of thousands. -- Stuart Longland (aka Redhatter, VK4MSL) I haven't lost my mind... ...it's backed up on a tape somewhere.
Re: Raspberry Pi question
В неделя, 22 декември 2019 г., 20:15:20 ч. Гринуич+2, Stuart Longland написа: 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 :) >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. >-- >Stuart Longland (aka Redhatter, VK4MSL) >I haven't lost my mind... > ...it's backed up on a tape somewhere. Hi Stuart, thanks for the reply. So far I have been using only x86_64 and everything was "ready to go",and I have never thought about that. Any ideas if Pi 4B will be supported, or I should stick with Linux. Best Regards, Strahil Nikolov
Re: Raspberry Pi question
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 :) 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. -- Stuart Longland (aka Redhatter, VK4MSL) I haven't lost my mind... ...it's backed up on a tape somewhere.
Raspberry Pi question
Hello Misc, did anyone try to install openBSD on Raspberry Pi 4B ? I know it's not supported , but maybe it does work :) Best Regards, Strahil Nikolov
