From 3cae659ca0c0ab69a59bd2925254bdce1829211b Mon Sep 17 00:00:00 2001
From: Christopher Pelloux <git@chp.io>
Date: Fri, 23 Jun 2023 18:34:41 -0400
Subject: [PATCH] ci: Update microv_efi_debug artifact

---
 .github/workflows/microv.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/microv.yml b/.github/workflows/microv.yml
index 49836d828..235bf7056 100644
--- a/.github/workflows/microv.yml
+++ b/.github/workflows/microv.yml
@@ -101,8 +101,10 @@ jobs:
         echo 'set(XEN_READCONSOLE_ROOTVM ON)' >> ../config.cmake
         echo 'set(USE_XUE ON)' >> ../config.cmake
         echo 'set(ENABLE_SERIAL ON)' >> ../config.cmake
+        echo 'set(DEFAULT_COM_PORT 0x3F8U)' >> ../config.cmake
+        echo 'set(DEBUG_LEVEL 9)' >> ../config.cmake
         cmake ../microv/deps/hypervisor -DCONFIG=../config.cmake -DCMAKE_CXX_FLAGS="--verbose "
-        make
+        make -j
       shell: bash
 
     - uses: actions/upload-artifact@v2