pfSense

Similar to Bug #5046 which added EFI64 (arch = 00:09) support to DHCPd, but this is for ARM 32/64 architecture (arch = 00:0a / 00:0b). See iPXE's platform support documentation for reference. (https://ipxe.org/cfg/platform).

Here is the current dhcpd.conf section example:

        if option arch = 00:06 {
                filename "uefi32.efi";
        } else if option arch = 00:07 {
                filename "uefi64.efi";
        } else if option arch = 00:09 {
                filename "uefi64.efi";
        } else {
                filename "default.pxe";
        }

This is to add:

        } else if option arch = 00:0a {
                filename "arm32.efi";
        } else if option arch = 00:0b {
                filename "arm64.efi";