Recommended arm hardware (mostly for compilation)?

[Klaus Küchemann]

> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
> On Thursday, 14 May 2020 22:15, Klaus Küchemann via freebsd-arm <freebsd-arm at freebsd.org> wrote:
> 
>> 
>> 
>>> Am 14.05.2020 um 22:44 schrieb Robert Crowston via freebsd-arm freebsd-arm at freebsd.org:
>>> 
>>>> (how does OpenBSD manage?)
>>> 
>>> …...For example, their PCI-e driver for the Rpi4 is a work of simplicity. …….
>>> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
>> 

>> OpenBSD`s PCI-e driver targets DeviceTree in UEFI,
>> PCI-e itself is not exposed in Uefi/ACPI for the RPI4 .

> Am 14.05.2020 um 23:26 schrieb Robert Crowston <crowston at protonmail.com>:
> 
> What I mean is, and I don't know the detail of what happens in TianoCore, but it seems a lot of the device initialization (setting up the right values in the registers on the hardware) is done before the device is passed to OpenBSD. That's not a criticism -- it's probably the right way to go.

If we want to get FreeBSD to boot in ACPI-mode(tianocore/edkII) on rpi4  we probably will have quite nothing to do with 
PCI-e itself to get access to the USB-bus.
genet is already  implemented in rpi4-uefi in Version 1.13 .
What we have to fix/ implement is our generic_xhci - driver, where something like INIT 
fails to dma …. 

kls