diff --git a/headers/os/kernel/OS.h b/headers/os/kernel/OS.h
index 2a3734367a..9848a4004e 100644
--- a/headers/os/kernel/OS.h
+++ b/headers/os/kernel/OS.h
@@ -6,13 +6,9 @@
 #ifndef _OS_H
 #define _OS_H
  
-//#include <ktypes.h>
-// ToDo: has to be included here, but does currently causes compiler errors
-// (redefinitions in ktypes.h (bigtime_t), and arch/x86/types.h (int8, ...))
+
 #include <SupportDefs.h>
 #include <StorageDefs.h>
-// ToDo: is automatically included by SupportDefs.h, so that one can be removed later
-//#include <Errors.h>
 
 
 #ifdef __cplusplus