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