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