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
36 config SPL_DISPLAY_PRINT
40 prompt "OMAP4 board select"
44 bool "OMAP4430 Gumstix Duovero"
46 config TARGET_OMAP4_PANDA
47 bool "TI OMAP4 PandaBoard"
49 config TARGET_OMAP4_SDP4430
50 bool "TI OMAP4 SDP4430"
53 bool "Amazon Kindle Fire (first generation)"
60 source "board/gumstix/duovero/Kconfig"
61 source "board/ti/panda/Kconfig"
62 source "board/ti/sdp4430/Kconfig"
63 source "board/amazon/kc1/Kconfig"