kc1: Select libfdt to allow running devicetree-based kernels

[u-boot] / configs / dbau1500_defconfig

diff --git a/configs/dbau1500_defconfig b/configs/dbau1500_defconfig
index 73a01168382853c348622f41a416246b112023fe..f61e7b69754ead802752d53fddef0aff35c21447 100644 (file)
--- a/configs/dbau1500_defconfig
+++ b/configs/dbau1500_defconfig
@@ -1,5 +1,14 @@
 CONFIG_MIPS=y
 CONFIG_TARGET_DBAU1X00=y
 CONFIG_DBAU1500=y
-CONFIG_CMD_NET=y
+CONFIG_SYS_PROMPT="DbAu1xx0 # "
+# CONFIG_CMD_BDI is not set
+# CONFIG_CMD_ELF is not set
+# CONFIG_CMD_RUN is not set
+# CONFIG_CMD_SAVEENV is not set
+# CONFIG_CMD_LOADB is not set
+# CONFIG_CMD_LOADS is not set
+# CONFIG_CMD_FLASH is not set
+# CONFIG_CMD_FPGA is not set
+# CONFIG_CMD_SETEXPR is not set
 CONFIG_USE_PRIVATE_LIBGCC=y