These changes are the raw update to linux-4.4.6-rt14. Kernel sources
[kvmfornfv.git] / kernel / arch / mips / xilfpga / Kconfig
1 choice
2         prompt "Machine type"
3         depends on MACH_XILFPGA
4         default XILFPGA_NEXYS4DDR
5
6 config XILFPGA_NEXYS4DDR
7         bool "Nexys4DDR by Digilent"
8
9 endchoice