What is /boot/kernel/*.symbols?

[Rick C. Petty]

On Tue, Jul 07, 2009 at 11:24:51AM +0200, Ruben de Groot wrote:
> On Mon, Jul 06, 2009 at 04:20:45PM -0500, Rick C. Petty typed:
> > On Mon, Jul 06, 2009 at 11:39:04AM +0200, Ruben de Groot wrote:
> > > On Mon, Jul 06, 2009 at 10:46:50AM +0200, Dimitry Andric typed:
> > > > 
> > > > Right, so it's a lot bigger on amd64.  I guess those 64-bit pointers
> > > > aren't entirely free. :)
> > > 
> > > I'm not sure where the size difference comes from. I have some sparc64
> > > systems running -current with symbols and the size of /boot/kernel is
> > > more comparable to i386, even with the 8-byte pointer size:
> > 
> > Um, probably there are a lot of devices on amd64 that aren't available for
> > sparc64?
> 
> Yes, That's probably it.

It was just a theory; I don't have sparc64.  What's your output of
"ls -1 /boot/kernel | wc"?

-- Rick C. Petty