> I learned to distinguish between an operating system and its kernel
> while working at MIT...
Good for you. Then why did you post your message to the KERNEL mailing
list?
Those who are interested in reading my $2.0x10^{-2} worth are invited to
read my recent post in the gnu.misc.discuss newsgroup. That is a more
appropriate forum for this discussion, IMHO. I encourage others to move
this discussion over there, too.
--Paul Vojta, vojta@math.berkeley.edu