? about kernel size..

[Brad Walker]

I'm looking at working on a new project that will use the FreeBSD kernel. I
would attempt to embed the kernel on a very small NXP Kinetis chip. I've
previously done this using a Linux kernel but also had DDR memory attached
to the chip. This project would not have a DDR chip attached.

So a couple of questions. 1 - What is the smallest size I could configure
the FreeBSD kernel out of the box? Could I get the size to be less than
10MB, 5MB, 2MB, or etc.?

I did a little bit of research on the PicoBSD and NanoBSD but that still
seem to be targeted to a little bit bigger chip than I have available.

Thanks for any insight/help. Also, if you response, please include me on
the CC line as I'm not a member of the freebsd-embedded alias.

Thanks again!

-brad walker