Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3 4 5 6 7 8 9
choice prompt "Machine type" depends on [31mCONFIG_MACH_XILFPGA[0m default [31mCONFIG_XILFPGA_NEXYS4DDR[0m config [31mCONFIG_XILFPGA_NEXYS4DDR[0m bool "Nexys4DDR by Digilent" endchoice