docs(gxl): add build instructions for booting BL31 from U-Boot SPL

Change-Id: Ided750decea924ff8d78d2d345d34bc40b05f0cb
Signed-off-by: Ferass El Hafidi <funderscore@postmarketos.org>
This commit is contained in:
Ferass El Hafidi 2025-01-08 14:03:02 +00:00 committed by Ferass El Hafidi
parent 8dca65d96f
commit 043eca9e9c

View file

@ -19,6 +19,12 @@ In order to build it:
CROSS_COMPILE=aarch64-linux-gnu- make DEBUG=1 PLAT=gxl
Or, if willing to boot from U-Boot SPL (using standard params handling):
.. code:: shell
CROSS_COMPILE=aarch64-linux-gnu- make DEBUG=1 PLAT=gxl AML_STDPARAMS=1
This port has been tested on a Lepotato. After building it, follow the
instructions in the `gxlimg repository`_ or `U-Boot repository`_, replacing the
mentioned **bl31.img** by the one built from this port.