41a42
> #include "sim/full_system.hh"
76d76
< #if FULL_SYSTEM
78c78
< if (cpuId == 0)
---
> if (cpuId == 0 || !FullSystem)
80,82d79
< #else
< tc->activate(0);
< #endif