diff --git a/miosix/arch/cpu/armv6m/interfaces-impl/userspace_impl.h b/miosix/arch/cpu/armv6m/interfaces-impl/userspace_impl.h
index bb1a317ac8fd2aefb7197fcd7ccd7f8501c03852..b0fcfcd8906ed991a4b4891a6b5c0d563df2a2c3 100644
--- a/miosix/arch/cpu/armv6m/interfaces-impl/userspace_impl.h
+++ b/miosix/arch/cpu/armv6m/interfaces-impl/userspace_impl.h
@@ -91,7 +91,7 @@ namespace fault {
 enum FaultType
 {
     NONE=0,          //Not a fault
-    STACKOVERFLOW=1  //Stack overflow
+    STACKOVERFLOW=1, //Stack overflow
     MP=2,            //Process attempted data access outside its memory
     MP_NOADDR=3,     //Process attempted data access outside its memory (missing addr)
     MP_XN=4,         //Process attempted code access outside its memory
diff --git a/miosix/arch/cpu/armv7m/interfaces-impl/cpu.cpp b/miosix/arch/cpu/armv7m/interfaces-impl/cpu.cpp
index d6d016ef909c68866524344bd231f7d057f756b4..d39c43bff94dbc191817c5b42e219b542fa7deda 100644
--- a/miosix/arch/cpu/armv7m/interfaces-impl/cpu.cpp
+++ b/miosix/arch/cpu/armv7m/interfaces-impl/cpu.cpp
@@ -26,6 +26,7 @@
  ***************************************************************************/
 
 #include "interfaces_private/cpu.h"
+#include "interfaces_private/userspace.h"
 #include "interfaces/arch_registers.h"
 #include "kernel/kernel.h"
 
diff --git a/miosix/arch/cpu/armv7m/interfaces-impl/userspace_impl.h b/miosix/arch/cpu/armv7m/interfaces-impl/userspace_impl.h
index bb1a317ac8fd2aefb7197fcd7ccd7f8501c03852..b0fcfcd8906ed991a4b4891a6b5c0d563df2a2c3 100644
--- a/miosix/arch/cpu/armv7m/interfaces-impl/userspace_impl.h
+++ b/miosix/arch/cpu/armv7m/interfaces-impl/userspace_impl.h
@@ -91,7 +91,7 @@ namespace fault {
 enum FaultType
 {
     NONE=0,          //Not a fault
-    STACKOVERFLOW=1  //Stack overflow
+    STACKOVERFLOW=1, //Stack overflow
     MP=2,            //Process attempted data access outside its memory
     MP_NOADDR=3,     //Process attempted data access outside its memory (missing addr)
     MP_XN=4,         //Process attempted code access outside its memory
diff --git a/miosix/arch/cpu/common/cortexMx_interrupts.cpp b/miosix/arch/cpu/common/cortexMx_interrupts.cpp
index d958c4d101ebc9def1df0b48bdd19f65031ae34f..4f230b772271085fdc81a44bf10a3548d101d313 100644
--- a/miosix/arch/cpu/common/cortexMx_interrupts.cpp
+++ b/miosix/arch/cpu/common/cortexMx_interrupts.cpp
@@ -28,6 +28,7 @@
 #include "util/util.h"
 #include "kernel/logging.h"
 #include "kernel/kernel.h"
+#include "kernel/process.h"
 #include "kernel/scheduler/scheduler.h"
 #include "kernel/boot.h"
 #include "config/miosix_settings.h"
diff --git a/miosix/interfaces_private/userspace.h b/miosix/interfaces_private/userspace.h
index 0172eb53132751e22205cc566bac5acddc17a534..dce444c51f4321a467979a5235121312f2bfa6c6 100644
--- a/miosix/interfaces_private/userspace.h
+++ b/miosix/interfaces_private/userspace.h
@@ -32,6 +32,7 @@
 #error "If your code depends on a private header, it IS broken."
 #endif //COMPILING_MIOSIX
 
+#include <cstddef>
 #include <utility>
 #include "config/miosix_settings.h"
 
diff --git a/miosix/kernel/kernel.h b/miosix/kernel/kernel.h
index 5cc6684b77367e0565190d652f14cd7f956321d4..829519bbf233a6061f2b2b99e34af80ed20d1633 100755
--- a/miosix/kernel/kernel.h
+++ b/miosix/kernel/kernel.h
@@ -413,6 +413,9 @@ class Mutex;
 class ConditionVariable;
 #ifdef WITH_PROCESSES
 class ProcessBase;
+class Process;
+class FaultData;
+class SyscallParameters;
 #endif //WITH_PROCESSES
 
 /**