diff --git a/build.zig b/build.zig
index 9ccd745a..460e3ddc 100644
--- a/build.zig
+++ b/build.zig
@@ -76,7 +76,7 @@ pub fn build(b: *std.Build) void {
             "-Werror",
             "-Wno-unused-function",
             "-mstrict-align",
-            "-fno-sanitize=undefined", // @ivanv: ideally we wouldn't have to turn off UBSAN
+            "-fno-sanitize=undefined",
             b.fmt("-DBOARD_{s}", .{ microkit_board }) // @ivanv: shouldn't be needed as the library should not depend on the board
         }
     });