wok-6.x /ipxe/stuff/

name size permissions
[up] drwxr-xr-x
file ipxe.cmd 1293 -rw-r--r--
file lkrnprefix.S 14309 -rw-r--r--