This patch support single core to boot to Linux kernel through Trusted Firmware. It also support 32 bit kernel and 64 bit kernel booting. |
||
---|---|---|
.. | ||
bl1 | ||
bl31 | ||
bl32 | ||
common | ||
drivers | ||
lib | ||
plat | ||
services |
This patch support single core to boot to Linux kernel through Trusted Firmware. It also support 32 bit kernel and 64 bit kernel booting. |
||
---|---|---|
.. | ||
bl1 | ||
bl31 | ||
bl32 | ||
common | ||
drivers | ||
lib | ||
plat | ||
services |