9f52e88636
GXL platforms need to have a specific header at the beginning of bl31 image to be able to boot. This adds a tool to create that and calls it at build time. Signed-off-by: Remi Pommarel <repk@triplefau.lt> |
||
---|---|---|
.. | ||
Makefile | ||
doimage.c |