Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 03 Jul 2009 16:35:54 +0200
From:      Dimitry Andric <dimitry@andric.com>
To:        "Patrick M. Hausen" <hausen@punkt.de>
Cc:        FreeBSD Stable Mailing List <freebsd-stable@freebsd.org>
Subject:   Re: What is /boot/kernel/*.symbols?
Message-ID:  <4A4E174A.1050207@andric.com>
In-Reply-To: <20090703142528.GA11039@hugo10.ka.punkt.de>
References:  <20090703142528.GA11039@hugo10.ka.punkt.de>

next in thread | previous in thread | raw e-mail | index | archive | help
On 2009-07-03 16:25, Patrick M. Hausen wrote:
> On a current server with 512 MB /, the filesystem is at
> 97% after installing a new kernel twice. Can I get rid of
> these files somehow or are they necessary, in which case
> I will need way bigger root filesystems?
> 
> I mean, get rid automatically and never install them again.
> I know the chflags and rm commands ;-) But then the question
> of they are needed is still open.

You can find this in /usr/src/UPDATING:

20060118:
        This actually occured some time ago, but installing the kernel
        now also installs a bunch of symbol files for the kernel modules.
        This increases the size of /boot/kernel to about 67Mbytes. You
        will need twice this if you will eventually back this up to kernel.old
        on your next install.
        If you have a shortage of room in your root partition, you should add
        -DINSTALL_NODEBUG to your make arguments or add INSTALL_NODEBUG="yes"
        to your /etc/make.conf.

However, you should consider increasing the size of your root
partition, if possible.  It can be extremely handy to have symbol files
available whenever there's a crash.  :)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4A4E174A.1050207>