I'm having trouble understanding how an image should be created. It was my intention to use the zImage file already compressed with a loader. RAM starts at 0xc0000000, the kernel wants to load, after decompression, to 0xc00c8000. Normally, compressed kernel images are loaded at 0xc0008000. tools/mkimage -A arm -C none -a 0xc0008000 -d zImage image