directory /src/os_cpu/linux_x86/ @ 5663:1dcea64e9f00

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