diff --git a/include/arch/arm/CortexM/exc.h b/include/arch/arm/CortexM/exc.h
index 0b1fbb9442..3aadba3cd7 100644
--- a/include/arch/arm/CortexM/exc.h
+++ b/include/arch/arm/CortexM/exc.h
@@ -41,6 +41,8 @@ ARM-specific nanokernel exception handling interface. Included by ARM/arch.h.
 #ifdef _ASMLANGUAGE
 GTEXT(_ExcExit);
 #else
+#include <stdint.h>
+
 struct __esf {
 	uint32_t a1; /* r0 */
 	uint32_t a2; /* r1 */
diff --git a/kernel/microkernel/k_mbox.c b/kernel/microkernel/k_mbox.c
index aaec51c482..b7375d415a 100644
--- a/kernel/microkernel/k_mbox.c
+++ b/kernel/microkernel/k_mbox.c
@@ -38,6 +38,7 @@
 #include <minik.h>
 
 #include <misc/__assert.h>
+#include <misc/util.h>
 
 /*******************************************************************************
 *
diff --git a/kernel/microkernel/k_pipe.c b/kernel/microkernel/k_pipe.c
index ba4c78a523..f757df2b71 100644
--- a/kernel/microkernel/k_pipe.c
+++ b/kernel/microkernel/k_pipe.c
@@ -33,6 +33,7 @@
 #include <minik.h>
 #include <k_pipe_buffer.h>
 #include <k_pipe_util.h>
+#include <misc/util.h>
 
 /*******************************************************************************
 *
diff --git a/kernel/microkernel/k_pipe_xfer.c b/kernel/microkernel/k_pipe_xfer.c
index 52b5f687e0..7093ac1c42 100644
--- a/kernel/microkernel/k_pipe_xfer.c
+++ b/kernel/microkernel/k_pipe_xfer.c
@@ -36,6 +36,7 @@
 #include <toolchain.h>
 #include <sections.h>
 #include <misc/__assert.h>
+#include <misc/util.h>
 
 #define FORCE_XFER_ON_STALL
 
diff --git a/samples/microkernel/benchmark/app_kernel/src/master.h b/samples/microkernel/benchmark/app_kernel/src/master.h
index 6adc1e1a26..db5146fa69 100644
--- a/samples/microkernel/benchmark/app_kernel/src/master.h
+++ b/samples/microkernel/benchmark/app_kernel/src/master.h
@@ -43,6 +43,8 @@
 
 #include <string.h>
 
+#include <misc/util.h>
+
 /* uncomment the define below to use floating point arithmetic */
 /* #define FLOAT */