{ lib ? import <nixpkgs/lib>
}:
{
  hostPlatform = lib.systems.examples.gnu64;

  overlay = (final: prev: {

    platform_name = "am1i";

    kernel =
      final.lib.makeOverridable (prev.kernel.override {
        config = ./linux.config;
        buildTargets = [ "bzImage" ];
      }).overrideAttrs (a: {
        postInstall = (a.postInstall or "") + ''
          cp arch/x86_64/boot/bzImage $out/
        '';
      });

    coreboot = final.lib.makeOverridable (prev.coreboot.override {
      iasl = final.iasl_20180531;
      payload = "${final.kernel}/bzImage";
      coreboot-toolchain = with final.coreboot-toolchain; [ x64 i386 ];
      fmap = ./custom.fmap;
      config = ./coreboot.config;
      linux-command-line="console=ttyS0,115200n8";
    }).overrideAttrs (a: {
      /*
      postConfigure = (a.postConfigure or "") + ''
        echo CONFIG_VGA_BIOS_FILE=\"${./kabini-vgabios.rom}\" >> .config
      '';
      */
      postInstall = (a.postInstall or "") + ''
        cp src/mainboard/asus/am1i-a/cmos.layout $out/
      '';
    });
  });
}