I download this from the web http://www.terasic.com/downloads/cd-rom/de1-soc/de1-soc_v.5.1.1_hwrevf_systemcd.zip and put files *.rbf and *.dtb into sd card with ubuntu from the terasic. (I had to generate rbf) It works fine. In the project there is an original dts file and I did the convertion to dtb and it works too. Now I try to genereate the dtb with sopc2dts using hps_clock_info.xml and soc_system_board_info.xml but it din't work. $ sopc2dts -i soc_system.sopcinfo -o socfpga.dts -b soc_system_board_info.xml -b hps_clock_info.xml --bridge
-removal all --clocks There is a kernel panic error.