https://github.com/pftf/RPi4/releases/tag/v1.4 On Wed, 26 Feb 2020, Jared McNeill wrote:
FYI it looks like the next release should have this as a runtime option: https://github.com/pftf/edk2-platforms/commit/968451beb7c9302517098abf72f7e42b57a0e024On 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