[PATCH 0/4] Support booting modern EDK2 on raspi3b board

[opensource@fvhovell.nl]

From: Frederik van Hövell <frederik@fvhovell.nl>

This series fixes raspi3b board behaviour when using EDK2 firmware:
- fix framebuffer base response: firmware (and linux kernel) expects
  returned address as seen from VC4 GPU memory view.
- fix firmware revision response: EDK2 firmware expects a valid epoch
  timestamp after year 2000, where previous used value was far too old.

NB: Due to incomplete emulation it does not yet work for raspi4b
(missing RNG200 and GENETv5, amongst other issues).

As convenience it fixes starting raspi3ap, raspi3b and raspi4b boards
with firmware using '-bios RPI_EFI.fd' (as was already possible using
'-loader file=RPI_EFI.fd,force-raw=true').

Finally it adds an functional test for running EDK2 firmware using new
parameter -bios on raspi3b and bumps RPi3 EDK2 release to latest v1.52.

Frederik van Hövell (4):
  hw/misc/bcm2835_property: fix RPI_FWREQ_FRAMEBUFFER_ALLOCATE response
  hw/misc/bcm2835_property: fix RPI_FWREQ_GET_FIRMWARE_REVISION response
  hw/arm/raspi: implement booting firmware at 0x0 using -bios on boards
    3ap, 3b and 4b
  tests/functional/aarch64/test_raspi3: update firmware to v1.52

 docs/system/arm/raspi.rst               | 12 ++++++++++++
 hw/arm/raspi.c                          | 17 +++++++++++------
 hw/misc/bcm2835_property.c              |  6 ++++--
 include/hw/display/bcm2835_fb.h         |  3 ++-
 tests/functional/aarch64/test_raspi3.py | 18 +++++++++++++++---
 5 files changed, 44 insertions(+), 12 deletions(-)

-- 
2.55.0