directory /src/ @ 6723:e193bbae24ef hs25.40-b14

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