1*dd84058dSMasahiro Yamadamenu "Nios II architecture" 2*dd84058dSMasahiro Yamada depends on NIOS2 3*dd84058dSMasahiro Yamada 4*dd84058dSMasahiro Yamadaconfig SYS_ARCH 5*dd84058dSMasahiro Yamada string 6*dd84058dSMasahiro Yamada default "nios2" 7*dd84058dSMasahiro Yamada 8*dd84058dSMasahiro Yamadachoice 9*dd84058dSMasahiro Yamada prompt "Target select" 10*dd84058dSMasahiro Yamada 11*dd84058dSMasahiro Yamadaconfig TARGET_NIOS2_GENERIC 12*dd84058dSMasahiro Yamada bool "Support nios2-generic" 13*dd84058dSMasahiro Yamada 14*dd84058dSMasahiro Yamadaconfig TARGET_PCI5441 15*dd84058dSMasahiro Yamada bool "Support PCI5441" 16*dd84058dSMasahiro Yamada 17*dd84058dSMasahiro Yamadaconfig TARGET_PK1C20 18*dd84058dSMasahiro Yamada bool "Support PK1C20" 19*dd84058dSMasahiro Yamada 20*dd84058dSMasahiro Yamadaendchoice 21*dd84058dSMasahiro Yamada 22*dd84058dSMasahiro Yamadasource "board/altera/nios2-generic/Kconfig" 23*dd84058dSMasahiro Yamadasource "board/psyent/pci5441/Kconfig" 24*dd84058dSMasahiro Yamadasource "board/psyent/pk1c20/Kconfig" 25*dd84058dSMasahiro Yamada 26*dd84058dSMasahiro Yamadaendmenu 27