On Wed, 26 Feb 2020, Jared McNeill wrote:
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 MBThis is in ACPI mode using RPi4_UEFI_Firmware_v1.2.zip. Other than a missing gigabyte of RAM, it runs very well.Thanks, John