Colin Watson wrote: > But then people can't use self-compiled kernels without using > kernel-package, and you also don't know whether an installed kernel > package is the running kernel. There's no good way to do this within the > Debian packaging framework, as far as I can work out. Well, this is pretty out there, but we could have an init script that probes the system for this kind of thing on boot, and modifies the status file. -- see shy jo