Subject: Re: /kern/kernel
To: Chris G. Demetriou <>
From: Johan Danielsson <>
List: current-users
Date: 09/10/1998 20:03:06 (Chris G. Demetriou) writes:

> It doesn't help with the issue of what you do when the booted kernel
> doesn't exist on /, or is somehow differently named, or moving the
> kernel after you've booted, or (worse) all you can easily
> communicate is kernel name and the kernel on / with that name is
> _different_ than the one that you booted.

It would perhaps be possible to add a device/inode/generation numbers
(or even a checksum)?