What is /boot/kernel/*.symbols?

[Dmitry Morozovsky]

Hi there Patrick,

On Fri, 3 Jul 2009, Patrick M. Hausen wrote:

PMH> 7.2-System:
PMH> -----------
PMH> makeoptions     DEBUG=-g
PMH> 
PMH> $ du -sk /boot/kernel
PMH> 214778	/boot/kernel
PMH> 
PMH> Lots of those files filling /boot/kernel.
PMH> 
PMH> 
PMH> On a current server with 512 MB /, the filesystem is at
PMH> 97% after installing a new kernel twice. Can I get rid of
PMH> these files somehow or are they necessary, in which case
PMH> I will need way bigger root filesystems?

Define INSTALL_NODEBUG somewhere (on installkernel commandline or maybe even in 
/etc/make.conf)

-- 
Sincerely,
D.Marck                                     [DM5020, MCK-RIPE, DM3-RIPN]
[ FreeBSD committer:                                 marck at FreeBSD.org ]
------------------------------------------------------------------------
*** Dmitry Morozovsky --- D.Marck --- Wild Woozle --- marck at rinet.ru ***
------------------------------------------------------------------------