Subject: Re: /kern/kernel
To: Chris G. Demetriou <firstname.lastname@example.org>
From: Johan Danielsson <email@example.com>
Date: 09/10/1998 20:03:06
firstname.lastname@example.org (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)?