mio-ops/hardware/odroid-hc4/uboot/hardkernel-uboot.nix

{ config, lib, pkgs, ... }:

with lib;
let
  blCfg = config.boot.loader;
  dtCfg = config.hardware.deviceTree;
  cfg = blCfg.hardkernel-uboot;

  timeoutStr = if blCfg.timeout == null then "-1" else toString blCfg.timeout;

  # The builder used to write during system activation
  builder = import ./boot-ini-builder.nix { inherit pkgs; };
  # The builder exposed in populateCmd, which runs on the build architecture
  populateBuilder =
    import ./boot-ini-builder.nix { pkgs = pkgs.buildPackages; };
in {
  options = {
    boot.loader.hardkernel-uboot = {
      enable = mkOption {
        default = false;
        type = types.bool;
        description = ''
          Whether to generate an extlinux-compatible configuration file
          under <literal>/boot/extlinux.conf</literal>.  For instance,
          U-Boot's generic distro boot support uses this file format.
          See <link xlink:href="http://git.denx.de/?p=u-boot.git;a=blob;f=doc/README.distro;hb=refs/heads/master">U-boot's documentation</link>
          for more information.
        '';
      };

      populateCmd = mkOption {
        type = types.str;
        readOnly = true;
        description = ''
          Contains the builder command used to populate an image,
          honoring all options except the <literal>-c &lt;path-to-default-configuration&gt;</literal>
          argument.
          Useful to have for sdImage.populateRootCommands
        '';
      };

    };
  };

  config = let
    builderArgs = "-t ${timeoutStr}"
      + lib.optionalString (dtCfg.name != null) " -n ${dtCfg.name}";
  in mkIf cfg.enable {
    system.build.installBootLoader = "${builder} ${builderArgs} -c";
    system.boot.loader.id = "hardkernel-uboot";
    boot.loader.hardkernel-uboot.populateCmd =
      "${populateBuilder} ${builderArgs}";
  };
}