summaryrefslogtreecommitdiff
path: root/src/kern/linux
diff options
context:
space:
mode:
Diffstat (limited to 'src/kern/linux')
-rw-r--r--src/kern/linux/linux.hh3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh
index ad35fa726..7c16228ea 100644
--- a/src/kern/linux/linux.hh
+++ b/src/kern/linux/linux.hh
@@ -30,6 +30,8 @@
#ifndef __LINUX_HH__
#define __LINUX_HH__
+
+#include "base/types.hh"
#include "config/full_system.hh"
#if FULL_SYSTEM
@@ -38,7 +40,6 @@ class Linux {};
#else //!FULL_SYSTEM
-#include <inttypes.h>
#include <string>
#include "kern/operatingsystem.hh"