boot.loader.grub.ipxe

Set of iPXE scripts available for booting from the GRUB boot menu.

Declarations

Type

attribute set of (path or string)

Default

{ }

Example

{ demo = ''
    #!ipxe
    dhcp
    chain http://boot.ipxe.org/demo/boot.php
  '';
}