directory /src/ @ 5722:05fedd51e40d hs25-b62

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