wok-current /ipxe/stuff/

name size permissions
[up] drwxr-xr-x
file bootloader.S 12874 -rw-r--r--
file ipxe.cmd 1830 -rw-r--r--
file ipxelinux.ipxe 29 -rw-r--r--