Forum Discussion
Altera_Forum
Honored Contributor
11 years agoOK I managed to fix this.
Take the kernel from the fat partition on the "DE1_SoC_SD" SD card. Filename is zImage. For the zImage kernel to work in the "DE1_SoC_LXDE" SD card it must be converted to uImage format, so in SoC EDS shell type:-mkimage -A arm -O linux -T kernel -C none -a 0x00008000 -e 0x00008000 -n "Linux-3.12.0-00307-g507abb4-dirt" -d ./zImage ./uImage Now copy the newly created uImage file to the FAT partition on the LXDE SD card. You should have a working /dev/fpga0 where you can dd the the FPGA configuration bitstream to.