Ken Hornstein writes:
> Perhaps the real solution is to make the kernel symbol table available in
> kernel memory somehow, since that's what you're really interested in.  If
> you did that, then you could make it so LKM's could add their symbols to
> the table as well, so you could debug them with DDB.  But that also has it's
> drawbacks.

I was just looking at the boot code for port-i386. It appears to
always load the kernel symbol table into memory. I'm not sure if I've
misinterpreted something, though.

Perry