DE1-SoC board: which defconfig, .dtb file, and sources shall I use best?
Hi, I have Terasic's DE1-SoC board and currently play around with the provided SD-card image, a self compiled kernel, my module and an FPGA .rbf which I would like to flash from the linux running ...