[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Kernel names



All,

What do you think about changing the kernel name to 'vmunix'?  This is the 
original name in 4.4BSD and it's Lite counterpart.

I KNOW that this is really nitpicky.  But it would make us just a tinny bit 
more standard (inline w/ commercial UN*X).

erik


Visit your host, monkey.org