diff options
Diffstat (limited to 'src/kern')
-rw-r--r-- | src/kern/linux/linux.hh | 3 | ||||
-rw-r--r-- | src/kern/operatingsystem.hh | 3 | ||||
-rw-r--r-- | src/kern/solaris/solaris.hh | 4 |
3 files changed, 5 insertions, 5 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" diff --git a/src/kern/operatingsystem.hh b/src/kern/operatingsystem.hh index 712b97c35..47e64ffd9 100644 --- a/src/kern/operatingsystem.hh +++ b/src/kern/operatingsystem.hh @@ -31,10 +31,9 @@ #ifndef __KERN_OPERATINGSYSTEM_HH__ #define __KERN_OPERATINGSYSTEM_HH__ +#include "base/types.hh" #include "config/full_system.hh" -#include <inttypes.h> - #if FULL_SYSTEM class OperatingSystem {}; diff --git a/src/kern/solaris/solaris.hh b/src/kern/solaris/solaris.hh index a55ce2c80..00eee994b 100644 --- a/src/kern/solaris/solaris.hh +++ b/src/kern/solaris/solaris.hh @@ -30,6 +30,8 @@ #ifndef __SOLARIS_HH__ #define __SOLARIS_HH__ + +#include "base/types.hh" #include "config/full_system.hh" #if FULL_SYSTEM @@ -38,8 +40,6 @@ class Solaris {}; #else //!FULL_SYSTEM -#include <inttypes.h> - #include "kern/operatingsystem.hh" class TranslatingPort; |