directory /src/share/ @ 1307:07226e9eab8f hs18-b01

name size permissions
[up] drwxr-xr-x
dir. tools/ drwxr-xr-x
dir. vm/ drwxr-xr-x