efi - Add EFI run-time ABI support (2)
[dragonfly.git] / sys / platform / 
tree7372f360a8b0fd64203bf9f5850a4a9bc74e10e7
drwxr-xr-x   ..
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64