@@ -562,3 +562,19 @@ servers.")
`(#:make-flags
'("BOARD=qemu-linuxboot")
,@(package-arguments heads-linuxboot)))))
+
+(define heads-coreboot
+ (package
+ (inherit heads)
+ (name "heads-coreboot")
+ (arguments
+ (substitute-keyword-arguments (package-arguments heads)
+ ((#:phases phases)
+ `(modify-phases ,phases
+ (add-before 'unpack-heads-packages 'unpack-coreboot
+ (lambda* (#:key inputs #:allow-other-keys)
+ (mkdir-p "build")
+ #t))))))
+ (native-inputs
+ `(("file" ,file)
+ ,@(package-native-inputs heads)))))