summaryrefslogtreecommitdiff
path: root/src/kern/linux
diff options
context:
space:
mode:
Diffstat (limited to 'src/kern/linux')
-rw-r--r--src/kern/linux/linux.hh9
1 files changed, 0 insertions, 9 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh
index 7fe107139..d816a0932 100644
--- a/src/kern/linux/linux.hh
+++ b/src/kern/linux/linux.hh
@@ -34,12 +34,6 @@
#include "base/types.hh"
#include "config/full_system.hh"
-#if FULL_SYSTEM
-
-class Linux {};
-
-#else //!FULL_SYSTEM
-
#include <string>
#include "kern/operatingsystem.hh"
@@ -180,7 +174,4 @@ class Linux : public OperatingSystem
}; // class Linux
-
-#endif // FULL_SYSTEM
-
#endif // __LINUX_HH__