{ seabios
, coreboot
, stdenv
, fetchurl
, seabiosConfig ? { CONFIG_COREBOOT = "y"; CONFIG_VGA_COREBOOT = "y"; CONFIG_BUILD_VGABIOS = "y"; }
}:

seabios.overrideAttrs (oA: rec {
  pname = "coreboot-payload-seabios";

  version = "1.14.0";
  src = fetchurl {
    url = "https://www.seabios.org/downloads/seabios-${version}.tar.gz";
    sha256 = "1zc1brgafbbf5hmdr1qc1p859cabpz73l8sklq83xa4sn9icqw7b";
  };

  configurePhase = ''
    runHook preConfigure
    cp ${coreboot.writeConfig seabiosConfig} .config
    make olddefconfig
    runHook postConfigure
  '';
  installPhase = ''
    install -D out/bios.bin.elf -t $out
    [ -f out/vgabios.bin ] && install -D out/vgabios.bin -t $out
  '';
})