armv8: Refactor EFI loader
[barrelfish] / tools / armv8_bootimage /
drwxr-xr-x   ..
-rw-r--r-- 850 Hakefile
-rw-r--r-- 20109 armv8_bootimage.c
-rw-r--r-- 1351 blob.h
-rw-r--r-- 17452 efi_loader.c