| config EMPTY_SLOT | |
| bool | |
| config PTIMER | |
| bool | |
| config DEVICE_TREE | |
| bool | |
| # fail the build if libfdt not found | |
| depends on FDT | |
| config FITLOADER | |
| bool | |
| depends on DEVICE_TREE | |
| config GENERIC_LOADER | |
| bool | |
| default y | |
| config GUEST_LOADER | |
| bool | |
| default y | |
| depends on TCG && DEVICE_TREE | |
| config OR_IRQ | |
| bool | |
| config PLATFORM_BUS | |
| bool | |
| depends on DEVICE_TREE | |
| config REGISTER | |
| bool | |
| config SPLIT_IRQ | |
| bool |