From 53b6b4673d12b72519f5bc76f451305ac941b1b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Milan=20P=C3=A4ssler?= Date: Sun, 11 Oct 2020 21:06:30 +0200 Subject: add seabios --- pkgs/coreboot-payload-tint/default.nix | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'pkgs/coreboot-payload-tint/default.nix') diff --git a/pkgs/coreboot-payload-tint/default.nix b/pkgs/coreboot-payload-tint/default.nix index 4714f701cc30..a410a46a254d 100644 --- a/pkgs/coreboot-payload-tint/default.nix +++ b/pkgs/coreboot-payload-tint/default.nix @@ -1,4 +1,7 @@ -{ coreboot, stdenv, fetchurl, ... }: +{ coreboot +, stdenv +, fetchurl +}: # the original tint does not support building as a coreboot payload # the patches from the coreboot repo require building tint in-tree -- cgit v1.2.3