if TARGET_SIMC_T10XX config SYS_BOARD string default "simc-t10xx" config SYS_VENDOR string default "scalys" config SYS_CONFIG_NAME string default "simc-t10xx" config RAMBOOT_PBL bool default y config SPL_FSL_PBL bool default y choice prompt "Bootsource" default NAND config NAND bool prompt "NAND boot" help Select NAND as the bootsource endchoice choice prompt "SYSCLK frequency" default SYS_CLK_FREQ_100 config SYS_CLK_FREQ_66 bool prompt "66.6 MHz" config SYS_CLK_FREQ_100 bool prompt "100 MHz" endchoice choice prompt "CPU type" default PPC_T1040 help Select the exact type of CPU which is used on the version of the simc-t10xx module config PPC_T1020 bool prompt "T1020" config PPC_T1022 bool prompt "T1022" config PPC_T1040 bool prompt "T1040" config PPC_T1042 bool prompt "T1042" endchoice endif