load_elf now returns the elf64_ehdr if requested.
[akaros.git] / tests / vmm /
drwxr-xr-x   ..
-rw-r--r-- 733 Makefrag
-rw-r--r-- 18580 vmrunkernel.c