Hi,
After compiling your kernel, check this directory: /arch/arm/boot/dts copy these three files:
- skeleton.dtsi
- socfpga.dtsi
- socfpga_cyclone5.dts
Now from the Embedded Command Shell, compile these files into a single .dtb file:
dtc -I dts -O dtb -o socfpga.dtb socfpga_cyclone5.dts
Copy the generated socfpga.dtb to your SD card and you should be able to boot kernel.
I tried this with kernel version 3.10-ltsi, and I think all kernel versions come with .dts files.
https://github.com/altera-opensource/linux-socfpga You can edit the socfpga_cyclone5.dts file and add the entries you need and then compile it again.
Note: you can use the sopc2dts.exe with your .sopcinfo (you get the dts file) to get the dts entries of your FPGA module.