summaryrefslogtreecommitdiffstats
path: root/kernel/arch/mips/xilfpga/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/arch/mips/xilfpga/Kconfig')
-rw-r--r--kernel/arch/mips/xilfpga/Kconfig9
1 files changed, 9 insertions, 0 deletions
diff --git a/kernel/arch/mips/xilfpga/Kconfig b/kernel/arch/mips/xilfpga/Kconfig
new file mode 100644
index 000000000..42a030a0e
--- /dev/null
+++ b/kernel/arch/mips/xilfpga/Kconfig
@@ -0,0 +1,9 @@
+choice
+ prompt "Machine type"
+ depends on MACH_XILFPGA
+ default XILFPGA_NEXYS4DDR
+
+config XILFPGA_NEXYS4DDR
+ bool "Nexys4DDR by Digilent"
+
+endchoice