directory /src/ @ 3352:9e177d44b10f hs23-b12

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