@@ -588,3 +588,20 @@ servers.")
`(#:make-flags
'("BOARD=qemu-coreboot")
,@(package-arguments heads-coreboot)))))
+
+(define-public heads-kgpe-d16
+ (package
+ (inherit heads-coreboot)
+ (name "heads-kgpe-d16")
+ (native-inputs
+ (alist-replace "gnupg"
+ (list (origin
+ (method url-fetch)
+ (uri "https://www.gnupg.org/ftp/gcrypt/gnupg/gnupg-1.4.21.tar.bz2")
+ (sha256
+ (base32 "0xi2mshq8f6zbarb5f61c9w2qzwrdbjm4q8fqsrwlzc51h8a6ivb"))))
+ (package-native-inputs heads-coreboot)))
+ (arguments
+ `(#:make-flags
+ '("BOARD=kgpe-d16")
+ ,@(package-arguments heads-coreboot)))))