NetBSD can be supported by the following boards (and probably more):
* Requires libretech-flash-tool to flash the bootloader after image flashing.
The image can be downloaded from: NetBSD Arm Bootable Images
Select Generic 64-bit
More Information:
User Reported Issues:
Added information: NetBSD 9 works straight out-of-box because whoever previously figured it out had built all the meta data device information in the DTS system for the kernel to know how to load the hardware.
I’ve discoverd that NetBSD 10 has a misconfiguration somewhere with this and lost it’s uhci USB support. I’ve been actively communicating with someone in the project and have found that you can copy paste the NetBSD 9 DTB files into the NetBSD 10 /boot/dtb and then the USB device hub will work again and you can use the keyboard and mouse and etc with a NetBSD 10 system.
I’m hoping to contribute a fix a few weeks down the road.
Main point: NetBSD 10 does work on the Le Potato. You can also run the Enlightenment desktop for GUI.
I guess I should have believed: “Of course it runs NetBSD”. rofl.
It’s best to have NetBSD drivers sync’ed with Linux because that will make DT the same. We pass the DT to the EFI application as well as use the default u-boot search path for override DT.
This is the base DT in our bootloaders for the boards to pass to the OS: https://boot.libre.computer/ci/aml-s905x-cc.dts
When I went digging into the NetBSD sys source files, it appears that is what they do on occasion, the syncing with Linux. I have no idea how this DTS/DTB system thing works, but it seems quite usefully portable…
We have a new thing called EtherealOS for OS deployment. If upstream fixes the issue, let us know and we will add the images.