Hi, > (...)arch/ppc/boot/simple/embed_config.c Oops, I skipped that code because my bootloader executes the uncompressed kernel image (loaded at 0x00000000) without doing that stuff in the first place. All right ;) Thanks again, Patrick ** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/