default.nix: add ACPKI-enabled builds

core0-buffer
Sebastien Bourdeauducq 2020-08-04 13:17:33 +08:00
parent f8d4036451
commit a5938b0fd6
1 changed files with 4 additions and 1 deletions

View File

@ -92,5 +92,8 @@ in
(
(build-zc706 { variant = "simple"; }) //
(build-zc706 { variant = "nist_clock"; }) //
(build-zc706 { variant = "nist_qc2"; })
(build-zc706 { variant = "nist_qc2"; }) //
(build-zc706 { variant = "acpki_simple"; }) //
(build-zc706 { variant = "acpki_nist_clock"; }) //
(build-zc706 { variant = "acpki_nist_qc2"; })
)