xref: /rk3399_rockchip-uboot/configs/microblaze-generic_defconfig (revision 80df6913499a93bfa9529b6f0f8113bfe3b0d734) 
1252ed872SMasahiro YamadaCONFIG_MICROBLAZE=y
2252ed872SMasahiro YamadaCONFIG_TARGET_MICROBLAZE_GENERIC=y
3bd328eb3SJoe HershbergerCONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
4bd328eb3SJoe HershbergerCONFIG_SPL=y
5*80df6913SBin MengCONFIG_SYS_PROMPT="U-Boot-mONStR> "
6ef0f2f57SJoe Hershberger# CONFIG_CMD_SETEXPR is not set
7783e6a72SMasahiro YamadaCONFIG_OF_CONTROL=y
8783e6a72SMasahiro YamadaCONFIG_OF_EMBED=y
9