blob: 0b5ddaf46bfb116e4794800f696b8aea1a2b1232 [file] [log] [blame]
Masahiro Yamadadd840582014-07-30 14:08:14 +09001CONFIG_SYS_EXTRA_OPTIONS="PPC_T1040,SECURE_BOOT,T1040RDB"
2CONFIG_PPC=y
3CONFIG_MPC85xx=y
4CONFIG_TARGET_T104XRDB=y