dd84058d MY |
1 | CONFIG_PPC=y |
2 | CONFIG_MPC5xxx=y |
3 | CONFIG_TARGET_A4M072=y |
d126e016 SR |
4 | CONFIG_AUTOBOOT_KEYED=y |
5 | CONFIG_AUTOBOOT_PROMPT="autoboot in %d seconds\n" |
6 | CONFIG_AUTOBOOT_DELAY_STR="asdfg" |
ef0f2f57 |
7 | # CONFIG_CMD_SETEXPR is not set |
69e173eb |
8 | CONFIG_OF_LIBFDT=y |