diff -r 87dac789bdaf -r 9ce94d0d3764 targets/Linux/__init__.py
--- a/targets/Linux/__init__.py	Tue Feb 28 15:06:13 2023 +0100
+++ b/targets/Linux/__init__.py	Tue Feb 28 15:08:43 2023 +0100
@@ -32,7 +32,11 @@
     extension = ".so"
 
     def getBuilderCFLAGS(self):
-        return toolchain_gcc.getBuilderCFLAGS(self) + ["-fPIC"]
+        additional_cflags = ["-fPIC"]
+        build_for_realtime = self.CTRInstance.GetTarget().getcontent().getRealTime()
+        if build_for_realtime:
+            additional_cflags.append("-DREALTIME_LINUX")
+        return toolchain_gcc.getBuilderCFLAGS(self) + additional_cflags
 
     def getBuilderLDFLAGS(self):
         return toolchain_gcc.getBuilderLDFLAGS(self) + ["-shared", "-lrt"]