Thanks for the quick reply.<br />I sort of suspected that it was compiled in :-(<br /><br />How hard would it be to have it configured through fw_cfg ?<br />We are on a supported distro and are not allowed homebrewed binaries.<br /><br />And, [more importantly] are there any other ways of persuading OVMF to boot from IPv6 without manually updating the boot order ?<br /><br />&nbsp; /Per