userboot-elf.c revision 939f4207
1