karo: fdt: fix panel-dpi support

[karo-tx-uboot.git] / arch / nios2 / Kconfig

diff --git a/arch/nios2/Kconfig b/arch/nios2/Kconfig
index b70364680b6815b4117f408cafa71dd3b5bbd05a..8ae7f6edd3715bb7f05d6a0048ae723ad1d6e42c 100644 (file)
--- a/arch/nios2/Kconfig
+++ b/arch/nios2/Kconfig
@@ -2,25 +2,17 @@ menu "Nios II architecture"
        depends on NIOS2
 
 config SYS_ARCH
-       string
        default "nios2"
 
 choice
        prompt "Target select"
+       optional
 
 config TARGET_NIOS2_GENERIC
        bool "Support nios2-generic"
 
-config TARGET_PCI5441
-       bool "Support PCI5441"
-
-config TARGET_PK1C20
-       bool "Support PK1C20"
-
 endchoice
 
 source "board/altera/nios2-generic/Kconfig"
-source "board/psyent/pci5441/Kconfig"
-source "board/psyent/pk1c20/Kconfig"
 
 endmenu