Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / system / arch / 
tree2bdd9811eb1d7c82f379ca1f4b59e6a442f64f05
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - m68k
drwxr-xr-x - mipsel
drwxr-xr-x - ppc
drwxr-xr-x - x86
drwxr-xr-x - x86_64