Moshe Zadka <moshez@math.huji.ac.il> writes: > What we need is some /etc/alternatives-like interface to kernels, and > have people installing kernels from .debs. They can still compile > themselves -- apt-get source, make config, make debian package and > install. We have that already. It's called `kernel-package' and the command is `make-kpkg'.