> While looking at this, you might consider cross-platform kernel
> debugging support.  FreeBSD gdb on i386 can also debug NetBSD and
> Linux kernels on a serial link.  The last time I tried NetBSD gdb
> (sorry, don't have the version, but it's not the latest), it couldn't
> handle FreeBSD cores.  I didn't try Linux, and I haven't tried OpenBSD
> with either version.
> 
> I'm prepared to help with this if you want.

	i once tried to build GNU toolchain with fully-featured BFD
	(handles any binary), instead of single-platform BFD.  the attempt
	end up as failure due to the bug in BFD wrt 32bit/64bit handling.
	once i enable BFD code for 64bit CPU, all pointers become 64bit,
	and BFD code for 32bit CPU goes crazy.

itojun