revised to build raw EFI disk
[rrq/jonasforth.git] / init /
drwxr-xr-x   ..
-rw-r--r-- 1600 sys.f
-rw-r--r-- 1035 uefi.f