wok-stable /syslinux/stuff/extra/ tip

name size permissions
[up] drwxr-xr-x
file ifmem.c 2963 -rw-r--r--
file md5sum.c 8811 -rw-r--r--