>> It's a pity that binutils nm doesn't want to work on /dev/ksyms.
> I found that you can do "cat /dev/ksyms >ksyms; nm ksyms" and that
> will work.

To me, this indicates a bug in the implementation of /dev/ksyms.  (I've
already run into similar bugs elsewhere, such as /kern/msgbuf.)

If it claims to be a file, it should act like a file.  In particular, a
*real* file with identical contents should act exactly the same way.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B