board: Add Microchip PIC32MZ[DA]-Starter-Kit board.

[platform/kernel/u-boot.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index ee4e060..3ce5ba1 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -225,6 +225,8 @@ endmenu             # Boot images
 
 source "common/Kconfig"
 
+source "cmd/Kconfig"
+
 source "dts/Kconfig"
 
 source "net/Kconfig"