Provide only one way to destroy address spaces
[helenos.git] / boot / grub.efi / 
tree52057961533e464d1b437e46ef56c0f0970d3d1f
drwxr-xr-x   ..
-rw-r--r-- 35147 COPYING
-rw-r--r-- 592 README
-rw-r--r-- 41 REVISION
-rw-r--r-- 112532 efi.img.gz
drwxr-xr-x - i386-efi
drwxr-xr-x - x86_64-efi