From bad272580558fa334f281bb2e64adf5cf939f4d0 Mon Sep 17 00:00:00 2001
From: David Venhoff <david.venhoff@cs.tu-dortmund.de>
Date: Fri, 12 Sep 2025 11:55:28 +0200
Subject: [PATCH] Change qemu compilation mode back to lto, oops

---
 src/nyx.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nyx.rs b/src/nyx.rs
index 620a558..95ab770 100644
--- a/src/nyx.rs
+++ b/src/nyx.rs
@@ -145,7 +145,7 @@ fn setup_nyx_tools(out_dir: &Path) -> anyhow::Result<()> {
         )?;
 
         // Compile with maximum optimizations
-        let qemu_compile_mode = "debug_static";
+        let qemu_compile_mode = "lto";
         shell(
             qemu_path,
             &format!("bash compile_qemu_nyx.sh {qemu_compile_mode}"),