wok-tiny /base-tiny/stuff/dev/ tip

name size permissions
[up] drwxr-xr-x
file core 11 lrwxrwxrwx
file fd 13 lrwxrwxrwx
file ram 4 lrwxrwxrwx
file stderr 15 lrwxrwxrwx
file stdin 15 lrwxrwxrwx
file stdout 15 lrwxrwxrwx
file vcs 4 lrwxrwxrwx
file vcsa 5 lrwxrwxrwx