From 708e9b85bb7e2da087f7ae2d3889249c2712bab7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20Rodr=C3=ADguez?= Date: Thu, 2 Nov 2023 00:54:24 +0000 Subject: [PATCH] add serial port as cmdline argument MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Manuel Rodríguez --- .gitignore | 3 ++- bao-baremetal-guest/src/main.c | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 48a7c92..fc0d57b 100644 --- a/.gitignore +++ b/.gitignore @@ -61,4 +61,5 @@ build/ __pycache__/ images/ *.ui -*.qrc \ No newline at end of file +*.qrc +run_demo.sh \ No newline at end of file diff --git a/bao-baremetal-guest/src/main.c b/bao-baremetal-guest/src/main.c index dc5b61e..e51d5eb 100644 --- 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); }