packages/OVMF-TDX: add debug support

edgelesssys · Nov 22, 2024 · 219d7eb · 219d7eb
1 parent 64c07c2
commit 219d7eb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/packages/by-name/OVMF-TDX/package.nix b/packages/by-name/OVMF-TDX/package.nix
@@ -2,14 +2,20 @@
 # SPDX-License-Identifier: AGPL-3.0-only
 
 {
+  lib,
   edk2,
   nasm,
   acpica-tools,
+  debug ? false,
 }:
 
 edk2.mkDerivation "OvmfPkg/IntelTdx/IntelTdxX64.dsc" rec {
   name = "OVMF-TDX";
 
+  buildFlags = lib.optionals debug [ "-D DEBUG_ON_SERIAL_PORT=TRUE" ];
+
+  buildConfig = if debug then "DEBUG" else "RELEASE";
+
   nativeBuildInputs = [
     nasm
     acpica-tools