Update

[l4.git] / kernel / fiasco / src / kern / ux / kmem-ux.cpp

diff --git a/kernel/fiasco/src/kern/ux/kmem-ux.cpp b/kernel/fiasco/src/kern/ux/kmem-ux.cpp
index 6af2f236795336adf42dd459246265f0835041bf..fe93cdc9448e1183886f13deabbf1872f8d189eb 100644 (file)
--- a/kernel/fiasco/src/kern/ux/kmem-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/kmem-ux.cpp
@@ -16,6 +16,7 @@ IMPLEMENTATION [ux]:
 #include <unistd.h>
 #include <sys/mman.h>
 
+#include "boot_info.h"
 #include "kmem_alloc.h"
 #include "emulation.h"