Update

[l4.git] / kernel / fiasco / src / kern / arm / __main.cpp

diff --git a/kernel/fiasco/src/kern/arm/__main.cpp b/kernel/fiasco/src/kern/arm/__main.cpp
index 40f777e7e57862ce80a65dab6c06c297c17cc17b..0dbedc613dfbb619ebdb07b371e78b28482c0656 100644 (file)
--- a/kernel/fiasco/src/kern/arm/__main.cpp
+++ b/kernel/fiasco/src/kern/arm/__main.cpp
@@ -8,7 +8,6 @@ IMPLEMENTATION [arm]:
 #include <cstdlib>
 #include <cstdio>
 #include <construction.h>
-#include "boot_info.h"
 #include "terminate.h"
 
 void kernel_main(void);