wok-next /cromfs/stuff/ tip

name size permissions
[up] drwxr-xr-x
file FBLOCK_CACHE_MAX_SIZE.u 160 -rw-r--r--
file openmp.u 251 -rw-r--r--