T154: mask out vregion flag for arm
[barrelfish] / lib / barrelfish / arch /
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - x86
drwxr-xr-x - x86_32
drwxr-xr-x - x86_64