I’m wondering if any one is daily driving NetBSD on the Reform/ Pocket? Or generally what the state of support looks like.
There are a couple of reasons Net is an attractive option, and running it on the rk3588 is something I’m interested in doing but hoping I wouldn’t be starting from 0.
As I understand things, I’d need a device tree config for uboot (or maybe the edk2 loader? ) and probably some drivers for querying the system controller. This also looks pretty promising
Not sure about gpu … This would definitely be quite the learning project though…
I recently tried a NetBSD 11 release candidate and the boot process gets stuck somewhere and it just hangs. Here is the output from the boot attempt. Note this is with the normal u-boot bootloader; edk2 has never worked for me at all.
Ooh thanks for this! Is the last line a prompt? Or does I/o stop or hang? Noticing there’s no indication the kernel found any partitions from which to continue loading (usually theres a “dk0 at sd0” or similar line)… I recall sd card issues being a persistent issue for rpi as well. What device was being booted from?
Nope, it just hangs. This was booting from a USB drive. I had patched u-boot to enumerate and probe the USB ports. Presumably you could do just as well with an SD card, but I haven’t tried it.