diff --git a/repos/base-okl4/patches/read_write_lock_volatile.patch b/repos/base-okl4/patches/read_write_lock_volatile.patch
new file mode 100644
index 000000000..c4dde6180
--- /dev/null
+++ b/repos/base-okl4/patches/read_write_lock_volatile.patch
@@ -0,0 +1,13 @@
+diff --git a/pistachio/include/read_write_lock.h b/pistachio/include/read_write_lock.h
+index d667451..49f7f30 100644
+--- a/pistachio/include/read_write_lock.h
++++ b/pistachio/include/read_write_lock.h
+@@ -123,7 +123,7 @@ struct read_write_lock_t
+     bool is_locked(void);
+ 
+ #if defined(CONFIG_DEBUG)
+-    word_t locked;
++    word_t volatile locked;
+ #endif
+ };
+