35d34
< #include "config/full_system.hh"
37,41d35
< #if FULL_SYSTEM
<
< class OperatingSystem {};
<
< #else //!FULL_SYSTEM
131,133d124
<
< #endif // FULL_SYSTEM
<