| menu "Nios II architecture" | |
| depends on NIOS2 | |
| config SYS_ARCH | |
| string | |
| default "nios2" | |
| choice | |
| prompt "Target select" | |
| 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 |