Subject: re: /kern boot message To: R. C. Dowdeswell <email@example.com> From: matthew green <firstname.lastname@example.org> 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...