blob: b55cab9b6db964d3c16a5c50df1f873896a77a91 [file] [log] [blame]
CONFIG_PPC=y
CONFIG_MPC85xx=y
CONFIG_TARGET_T4240QDS=y
CONFIG_SYS_EXTRA_OPTIONS="PPC_T4160,SECURE_BOOT"