diff --git a/repos/base-hw/include/kernel/types.h b/repos/base-hw/include/kernel/types.h
index ef28b7da3e..4c8c2420e4 100644
--- a/repos/base-hw/include/kernel/types.h
+++ b/repos/base-hw/include/kernel/types.h
@@ -15,7 +15,6 @@
 #define _KERNEL__TYPES_H_
 
 /* base-hw includes */
-#include <kernel/types.h>
 #include <kernel/interface_support.h>
 
 namespace Kernel {