Keeping dts/dtb in sync with latest kernel ( sopc2dts, boardinfo xml)

Hi Bram,

I am having similar problems. I can never figure out which device tree to use when changing kernel versions. This always confuses me.

I am not able to get 3.13 to load as I cannot generate the right device tree. This probably doesn't answer your question at all, but wanted to share some related information of what I found so far. Maybe this will be useful. I feel like there might be something obvious that we might be missing. I feel like it shouldn't be this hard to switch to a different kernel version.

This is what I have been doing to load 3.12:

//How to compile kernel
cd ~
mkdir linux-socfpga-3.12
git clone http://git.rocketboards.org/linux-socfpga.git
cd linux-socfpga
rm .config
git checkout -b socfpga-3.12 origin/socfpga-3.12
export CROSS_COMPILE=/opt/altera-linux/linaro/gcc-linaro-arm-linux-gnueabihf-4.7-2012.11-20121123_linux/bin/arm-linux-gnueabihf-
// generate the .config file...
make ARCH=arm menuconfig
make ARCH=arm

This generates all the files I need to get the system to boot.

arch/arm/boot/dts/socfpga_cyclone5.dtb

arch/arm/boot/zImage .

If I do the same thing with 3.13, it doesn't generate a new device tree. This really confuses me?!? Why would it be any different? I cannot get 3.13 to boot.