directory /src/ @ 4284:be21f8a4d42c hs24-b35

name size permissions
[up] drwxr-xr-x
dir. cpu/ drwxr-xr-x
dir. os/ drwxr-xr-x
dir. os_cpu/ drwxr-xr-x
dir. share/ drwxr-xr-x