rpi4-uefi.dev Re: RaspberryPi 4B 8G model not boot

[Klaus Küchemann]

> Am 30.05.2020 um 19:03 schrieb Mark Millard <marklmi at yahoo.com>:
> 
> ….
> ... NetBSD…..
> 
> (My attempts to use https://rpi4-uefi.dev/ 's material
> instead of sysutils/u-boot-rpi4 material for FreeBSD
> have never managed to get FreeBSD's loader to output
> anything. Eventually the uefi watchdog forces a reboot.)
> 

Well, I got rpi4UEFI booting into the state of FreeBSD,
which you absolutely love most :
vfs_mountroot     .. ;-)
should be reason enough for you to come back to FreeBSD, :-), yeah ..just kidding..

rpi4-uefi.dev has a stunning support-team(including at jmcneill of NetBSD and OpenBSD-hacker @kettenis )
 and they are absolutely interested in FreeBSD and willing to help,
but 1st we have to repair generic_xhci_acpi …
looking closely into that file we will see that quite „nothing" is inside it :-)
Their -v 1.13 has pxe/http-boot inside it (didn’t test it yet)...