Hi, I tried building kexec with gcc-4.3 from the cell sdk-3.1 and the resulting binary didn't work correctly. It works OK with the gcc-4.1 from the same (sdk-3.1). Here is the last thing seen, then the system hangs: Starting new kernel kexec: waiting for cpu 1 (physical 1) to go down Invalid tag 26 scanning flattened device tree ! Invalid tag 26 scanning flattened device tree ! Invalid tag 26 scanning flattened device tree ! Does anyone have any ideas? -Geoff