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

[myfreeweb]

On May 30, 2020 7:46:37 PM UTC, "Klaus Küchemann via freebsd-arm" <freebsd-arm at freebsd.org> wrote:
>
>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 :-)

Yeah, there shouldn't be anything else in generic_xhci_acpi and there's nothing wrong with it.

Looks like the problem is that the PCIe controller isn't getting initialized, which is why xhci device memory is all 0xdead. The _INI or whatever ACPI method on that does the initialization probably isn't working correctly under FreeBSD. It does run, I have seen its debug message when I built an acpi_debug kernel. But it's not accomplishing its goal?? Maybe the memory regions it writes to aren't mapped correctly or something.

Silly debug idea: log all memory access initiated by acpi in FreeBSD and NetBSD and compare :)

Less silly idea: can someone who's really really familiar with FreeBSD's acpica integration take a look at the RPi4 dsdt already?? Please??