Hello, I have an i80321 customized board and I'm new to FreeBSD/arm. My bootloader loads Linux zImage. My question is FreeBSD kernel.bin = Linux zImage? I think FreeBSD kernel.bin is a raw binary with no program headers. Warm regards, Doug.