Use DESTDIR for make install
[petitboot] / petitboot.h
2007-04-03 David WoodhouseHookup kexec
2007-04-02 Jeremy KerrInitial gitification of petitboot