Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / os / arch / 
tree38fcf2e86e08a6b8744ac9cadcb8dc15e821eabd
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