Mark 'user' as PHONY in the top-level Makefile
[akaros.git] / user / vmm / load_elf.c
2017-04-20 Ron Minnichuser/vmm: add and use a load_elf function