Subject: re: /kern boot message
To: R. C. Dowdeswell <elric@imrryr.org>
From: matthew green <mrg@eterna.com.au>
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...


.mrg.