From 187df620612761462b441194ff143ab94d362cd8 Mon Sep 17 00:00:00 2001
From: Dylan Bautista <dylan.bautista@bsc.es>
Date: Wed, 19 Feb 2025 13:16:29 +0100
Subject: [PATCH] Removed  from QEMU options

---
 boot.sh        |  3 +--
 verify_rvb.awk | 20 --------------------
 2 files changed, 1 insertion(+), 22 deletions(-)
 delete mode 100644 verify_rvb.awk

diff --git a/boot.sh b/boot.sh
index 283703e..fc2aedd 100755
--- a/boot.sh
+++ b/boot.sh
@@ -73,8 +73,7 @@ run_qemu () {
     -device vhost-vsock-pci,id=vhost-vsock-pci0,guest-cid=123 \
     -serial mon:stdio \
     -append "$(cat $system/kernel-params) init=$system/init console=ttyS0 loglevel=7 $QEMU_KERNEL_PARAMS" \
-    $QEMU_OPTS \
-    "$@"'
+    $QEMU_OPTS'
 
   if [[ "$QEMU_KERNEL_PARAMS" =~ bench2 ]]; then
     eval "$CMD &"
diff --git a/verify_rvb.awk b/verify_rvb.awk
deleted file mode 100644
index 3014bf2..0000000
--- a/verify_rvb.awk
+++ /dev/null
@@ -1,20 +0,0 @@
-BEGIN {
-    bench_success_flag = 0
-}
-
-/^BENCHMARK-SUCESS-STATE/ { bench_success_flag = 1; system("pkill -f -SIGTERM qemu-system-riscv64")}
-/^BENCHMARK-ERROR-STATE/ { bench_success_flag = 0; system("pkill -f -SIGTERM qemu-system-riscv64")}
-    {print $0}
-
-END {
-    
-    printf "Benchmark execution has finished ";
-
-    if (bench_success_flag) {
-        printf "successfully.\n";
-        exit 0;
-    } else {
-        printf "with errors.\n";
-        exit 1;
-    }
-}
\ No newline at end of file