Subject: re: /kern boot message
To: R. C. Dowdeswell <>
From: matthew green <>
List: port-alpha
Date: 10/25/2001 21:44:42
   For which way to do it, it is a matter of taste.  I believe that
   nothing in the system requires that /kern be mounted, so it is an
   issue of whether you like to `cat /kern/boottime' or not.  :-)

/kern is quite a bit more useful than this...