# Warewulf-provided iPXE binaries

- `arm64.efi` - EFI support for `arm64` processors
- `x86_64.efi` - EFI support for `x86_64` processors
- `x86_64.kpxe` - legacy BIOS support for `x86_64` processors

## Rebuilding

The iPXE binaries can be rebuilt with the `ipxe-update.sh`
script. This script accepts command-line arguments that are passed to
the underlying `make` process. e.g.,

```bash
echo "#!ipxe
echo Tagging with vlan 1000
vcreate --tag 1000 net0 autoboot || shell" >vlan-1000.ipxe

sh ipxe-update.sh EMBED=$(readlink -f vlan-1000.ipxe)
```