arm64: dts: rockchip: update isp-flash gpio for rk3399-android
[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