add serial port as cmdline argument

Signed-off-by: Manuel Rodríguez <[email protected]>
zero-day-labs · Nov 2, 2023 · 708e9b8 · 708e9b8
1 parent 2c98ccf
commit 708e9b8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -61,4 +61,5 @@ build/
 __pycache__/
 images/
 *.ui
-*.qrc
+*.qrc
+run_demo.sh
diff --git a/bao-baremetal-guest/src/main.c b/bao-baremetal-guest/src/main.c
@@ -257,7 +257,7 @@ void state_before_attack(void)
             if (sw_status & (1ULL << sw_idx))
             {
                 lock = 1;
-                printf("$GOTO$_5%.3d\n",sw_idx);
+                printf("$GOTO$_6%.3d\n$GOTO$_5%.3d\n",sw_status, sw_idx);
                 lock = 0;
                 set_iommu_mode(IOMMU_DDTP_MODE_BARE);
             }
-Original file line number
+Diff line change
@@ Expand Up / @@ -61,4 +61,5 @@ build/ @@
     __pycache__/
     images/
     *.ui
-    *.qrc
+    *.qrc
+    run_demo.sh