GSOC 2013 project " Kernel Size Reduction for Embedded System "

[Wojciech Puchar]

>> And yes FreeBSD kernel is huge. doesn't really matter with 1GB or more RAM 
>> but yes - it is huge even relative to linux.
>
> Ah, any insight as to why?
my custom compiled kernel:

-r-xr-xr-x  1 root  wheel  8791402  6 kwi 22:08 /boot//kernel/kernel

only with features i need. linux is AFAIK like 3-4MB uncompressed.