diff --git a/examples/simple/build.zig b/examples/simple/build.zig
index 3e48b2b8..879b07f1 100644
--- a/examples/simple/build.zig
+++ b/examples/simple/build.zig
@@ -119,7 +119,7 @@ pub fn build(b: *std.Build) void {
             "-Werror",
             "-Wno-unused-function",
             "-mstrict-align",
-            "-DBOARD_qemu_arm_virt", // @ivanv: should not be necessary
+            fmtPrint("-DBOARD_{s}", .{ microkit_board }) // @ivanv: shouldn't be needed as the library should not depend on the board
         }
     });
 
@@ -167,7 +167,7 @@ pub fn build(b: *std.Build) void {
             "-Werror",
             "-Wno-unused-function",
             "-mstrict-align",
-            "-DBOARD_qemu_arm_virt", // @ivanv: shouldn't be needed as the library should not depend on the board
+            fmtPrint("-DBOARD_{s}", .{ microkit_board })
         }
     });