9 config SPL_GPIO_SUPPORT
12 config SPL_I2C_SUPPORT
15 config SPL_LIBCOMMON_SUPPORT
18 config SPL_LIBDISK_SUPPORT
21 config SPL_LIBGENERIC_SUPPORT
24 config SPL_MMC_SUPPORT
27 config SPL_NAND_SUPPORT
30 config SPL_POWER_SUPPORT
33 config SPL_SERIAL_SUPPORT
37 prompt "OMAP4 board select"
41 bool "OMAP4430 Gumstix Duovero"
43 config TARGET_OMAP4_PANDA
44 bool "TI OMAP4 PandaBoard"
46 config TARGET_OMAP4_SDP4430
47 bool "TI OMAP4 SDP4430"
50 bool "Amazon Kindle Fire (first generation)"
57 source "board/gumstix/duovero/Kconfig"
58 source "board/ti/panda/Kconfig"
59 source "board/ti/sdp4430/Kconfig"
60 source "board/amazon/kc1/Kconfig"