Help review the FAQ

Miroslav Lachman 000.fbsd at
Mon Nov 26 21:15:31 UTC 2012

Bas Smeelen wrote:
> On 11/26/12 16:57, Jakub Lach wrote:
> Thanks Miroslav Lachman for the reply with the correct sizes for GENERIC
> kernels.
> Change FAQ 8.3 Why is my kernel so big?
> Nowadays kernels are compiled in /debug mode by default/. Kernels built
> in debug mode contain many symbols that are used for debugging, thus
> greatly increasing the size of the kernel. Note that there will be
> little or no performance decrease from running a debug kernel, and it is
> useful in case of a system panic.
> However....

I think that debug symbols are in another files (*.symbols)


 > ls -lh /boot/kernel/kernel*
-r-xr-xr-x  1 root  wheel   12M May  8  2012 /boot/kernel/kernel
-r-xr-xr-x  1 root  wheel   50M May  8  2012 /boot/kernel/kernel.symbols

So a kernel alone has 12MB, with debug symbols 62MB (12+50).
And all *.symbols files can be deleted (if more space on /boot is needed)
I don't know how it should be mentioned in FAQ.

Miroslav Lachman

More information about the freebsd-stable mailing list