c1ff80b128
This patch support single core to boot to Linux kernel through Trusted Firmware. It also support 32 bit kernel and 64 bit kernel booting. |
||
---|---|---|
.. | ||
plat_helpers.S |
c1ff80b128
This patch support single core to boot to Linux kernel through Trusted Firmware. It also support 32 bit kernel and 64 bit kernel booting. |
||
---|---|---|
.. | ||
plat_helpers.S |