39d38
< #include "config/full_system.hh"
99d97
< #if FULL_SYSTEM
101d98
< #endif