> Please use simpleImage.<your target dts name>.elf. Great, that seems to be it... Except that nothing happens when I jump to 0x40000, no message from the kernel, nothing. I'm a bit stumped here as my old kernel worked fine. -- Guillaume Dargaud http://www.gdargaud.net/