ARM64: DTS: Add rk3399-firefly uart4 device, node as /dev/ttyS1
[firefly-linux-kernel-4.4.55.git] / 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