Re: Raspberry Pi 4 ethernet support added to -current

[Jared McNeill <jmcneill%invisible.ca@localhost>]

You have to build the firmware without ACPI_BASIC_MODE_ENABLE set (see 
https://github.com/tianocore/edk2-platforms/blob/master/Platform/RaspberryPi/RPi4/Readme.md 
for details). The 3GB thing is because OSes other than NetBSD don't 
properly restrict DMA ranges for peripherals.

On Wed, 26 Feb 2020, John Klos wrote:

> Hi, Jared,
>
> > Please try it out and let me know if you run into any issues!
>
> Ethernet works well so far! However, I see an interesting issue:
>
> [     1.000000] total memory = 2971 MB
> [     1.000000] avail memory = 2876 MB
>
> This is in ACPI mode using RPi4_UEFI_Firmware_v1.2.zip. Other than a missing 
> gigabyte of RAM, it runs very well.
>
> Thanks,
> John