diff options
Diffstat (limited to 'kernel/arch/mips/xilfpga/Kconfig')
| -rw-r--r-- | kernel/arch/mips/xilfpga/Kconfig | 9 |
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 |