> Where is the binary for the kernel, and was it actually built by all
> this?  I don't like mail for a default tool, but until I get the nicer,
> better packages, I figured I could put up with it, but it core dumps
> just after printing out the list of mail you have waiting to read.  I'm
> going to try to look into it myself, but I don't really have a clue how
> the make files are supposed to work and what is built into them.  I've
> never used gdb either, so this will be a learning experience for me.

That's a easy one. /usr/src/usr.bin/mail/Makefile adds -R to the CFLAGS.
I'm not sure what it does on other machines, but on the PC532 binaries
compiled with -R dump core... (same for /usr/src/usr.bin/window)

	Matthias