libbarrelfish: merging arch specific hearders for k1om and x86_64
[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