diff --git a/src/m1x/arch/x86_64/cpu/cpu_init.c b/src/m1x/arch/x86_64/cpu/cpu_init.c
index ed816d6..9ebf32d 100644
--- a/src/m1x/arch/x86_64/cpu/cpu_init.c
+++ b/src/m1x/arch/x86_64/cpu/cpu_init.c
@@ -3,7 +3,7 @@
  * Provided under the BSD-3 clause
  */
 
-#include <stdint.h>
+#include <sys/types.h>
 
 /* From cpu/locore.S */
 extern void md_cpu_lgdt(void *gdtr);
diff --git a/src/sdk/include/sys/types.h b/src/sdk/include/sys/types.h
new file mode 100644
index 0000000..131e2b6
--- /dev/null
+++ b/src/sdk/include/sys/types.h
@@ -0,0 +1,12 @@
+/*
+ * Copyright (c) 2026, Mirocom Laboratories
+ * Provided under the BSD-3 clause
+ */
+
+#ifndef _SYS_TYPES_H_
+#define _SYS_TYPES_H_ 1
+
+#define _M1X_SOURCE
+#include <stdint.h>
+
+#endif  /* !_SYS_TYPES_H_ */