diff options
Diffstat (limited to 'src/kern/linux')
| -rw-r--r-- | src/kern/linux/linux.hh | 3 |
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" |