FreeBSD/arm image question

[M. Warner Losh]

In message: <b2ec5cad0611121740s5d4fcf59nd45a8a5dfc308a63 at mail.gmail.com>
            "Doug Brewer" <brewer.doug at gmail.com> writes:
: 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.

That is correct.

You can do a 'make kernel.tramp' and get a kernel.gz.bin as well,
which more closely matches zImage.

Warner