On Sat, Aug 6, 2011 at 11:16 PM, Bernardo Barros <bernardobarros2@xxxxxxxxx> wrote: > If they have just this kernel, how they will boot the machine in order > to fix it? > They can just edit the boot menu entry (Press `e' in the case of GRUB). There're also Live CDs to rescue unbootable systems. Thomas +1