wok-current /ipxe/stuff/

name size permissions
[up] drwxr-xr-x
file bootloader.S 12879 -rw-r--r--
file cmd_isgt.u 1150 -rw-r--r--
file ipxe.cmd 1541 -rw-r--r--
file ipxelinux.ipxe 29 -rw-r--r--