Martin Thomas df3c88ee01 Makefile to install kreboot into the target 9 lat temu
..
files 215d18163c script to load a new kernel without rebooting the system 9 lat temu
patches c012f48766 hudson says again: missing patch 10 lat temu
Makefile df3c88ee01 Makefile to install kreboot into the target 9 lat temu