From c3f68682fa3c6bc025b133b775f1c302f166314b Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Sat, 2 Jul 2016 16:31:22 +0200
Subject: [PATCH] Fix include

---
 kernel/include/arch.hpp | 2 ++
 1 file changed, 2 insertions(+)

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();