directory /src/ @ 4305:c5c01d4cd7d9 hs24-b37

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