diff options
Diffstat (limited to 'src/kern/operatingsystem.hh')
| -rw-r--r-- | src/kern/operatingsystem.hh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/kern/operatingsystem.hh b/src/kern/operatingsystem.hh index 6574e3c6b..fd5899cf8 100644 --- a/src/kern/operatingsystem.hh +++ b/src/kern/operatingsystem.hh @@ -32,13 +32,7 @@ #define __KERN_OPERATINGSYSTEM_HH__ #include "base/types.hh" -#include "config/full_system.hh" -#if FULL_SYSTEM - -class OperatingSystem {}; - -#else //!FULL_SYSTEM #include <string> class LiveProcess; @@ -128,7 +122,4 @@ class OperatingSystem { }; // class OperatingSystem - -#endif // FULL_SYSTEM - #endif // __OPERATINGSYSTEM_HH__ |