if TARGET_IGEP0046 config SYS_BOARD default "igep0046" config SYS_VENDOR default "isee" config SYS_CONFIG_NAME default "igep0046" choice prompt "Carrier Board" default BASE0040 optional config BASE0040 bool "Carrier board base0040" help This is the igep base0040 carrier board. endchoice config WITH_SPL_SUPPORT bool "Build i.MX6 with SPL support" select SUPPORT_SPL help Builds IGEP i.MX6 boards with SPL support config FALCON_RAMDISK bool "FALCON mode with INITRD RAMDISK support" help Builds IGEP i.MX6 boards FALCON mode with INITRD RAMDISK support endif