diff --git a/miosix/kernel/kernel.h b/miosix/kernel/kernel.h
index d689e82c75e14fdcc16e79a1a7cef6301a2bc3e9..59ee7b83d9ba7aa4576f379de989052379bb4ccb 100755
--- a/miosix/kernel/kernel.h
+++ b/miosix/kernel/kernel.h
@@ -33,10 +33,7 @@
 #include "stdlib_integration/libstdcpp_integration.h"
 #include "intrusive.h"
 #include "cpu_time_counter_types.h"
-#include <cstdlib>
-#include <new>
 #include <functional>
-#include <pthread.h> // some pthread functions are friends of Thread
 
 /**
  * \namespace miosix