build-ipxe.nix

# Copyright (C) 2019 Néfix Estrada <nefixestrada@gmail.com>
# Author: Néfix Estrada <nefixestrada@gmail.com>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU Affero General Public License as
# published by the Free Software Foundation, either version 3 of the
# License, or (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU Affero General Public License for more details.
#
# You should have received a copy of the GNU Affero General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

{ pkgs ? import <nixpkgs> {}, baseUrl, caCert, ... }:

pkgs.ipxe.overrideAttrs(old: {
  script = pkgs.writeText "embed.ipxe" ''
    #!ipxe
    dhcp
    echo
    echo Connecting to IsardVDI...
    echo
    chain ${baseUrl}/pxe/boot
  '';

  makeFlags = old.makeFlags ++ [
    ''EMBED=''${script}''
    ''TRUST=''${caCert}''
  ];

  enabledOptions = old.enabledOptions ++ [
    "REBOOT_CMD"
    "POWEROFF_CMD"
  ];

  installPhase = ''
    ${old.installPhase}
    make $makeFlags bin-x86_64-efi/ipxe.efi bin-i386-efi/ipxe.efi

    mkdir $out/x86_64
    mkdir $out/i386
    cp -v bin-x86_64-efi/ipxe.efi $out/x86_64/ipxe.efi
    cp -v bin-i386-efi/ipxe.efi $out/i386/ipxe.efi
  '';
})