Good. Build yourself another kernel for development and stick with the working one for work then.

On Jun 25, 2014 10:40 PM, "Javier" <quaere1verum@gmail.com> wrote:

On Wed, Jun 25, 2014 at 4:37 PM, Kristofer Hallin <kristofer.hallin@gmail.com> wrote:

Your boot loader (grub?) can't handle multiple kernels?

It can.

--
Javier Pajuelo