diff --git a/kernel/include/arch.hpp b/kernel/include/arch.hpp
index 2e3f1805..4b40d3cd 100644
--- a/kernel/include/arch.hpp
+++ b/kernel/include/arch.hpp
@@ -5,6 +5,8 @@
 //  http://www.boost.org/LICENSE_1_0.txt)
 //=======================================================================
 
+#include <types.hpp>
+
 namespace arch {
 
 void enable_sse();