badge.ipxe
Declared in BadgeOS/modules/sg2k/ipxe.nix.
badge.ipxe.enable
Whether to enable netbooting the Nix Vegas installer from the badge.
Type: boolean
Default:
config.badge.router.enable
Example:
true
Declared by:
badge.ipxe.badapple
The iPXE script the menu offers to play before booting.
Type: package
Default:
pkgs.nix-badge-netboot-badapple
Declared by:
badge.ipxe.banner
The text iPXE shows before the menu.
Type: absolute path
Default:
../installer/motd.txt
Declared by:
badge.ipxe.manual
The site nginx serves at /.
Type: package
Default: this manual, built to be served at /
Declared by:
badge.ipxe.netboot
What is netbooted: a directory with bzImage, initrd and netboot.ipxe, which loads them by relative path, and the x86_64 iPXE binaries ipxe.efi and undionly.kpxe.
Type: package
Default: the Nix Vegas installer, built for x86_64-linux
Declared by: