34a35,36
> #include "systemc/core/kernel.hh"
> #include "systemc/ext/core/sc_main.hh"
176a179
> kernel->status(::sc_core::SC_PAUSED);
183a187
> kernel->stop();
200c204,205
< if (initReady)
---
> if (initReady) {
> kernel->status(::sc_core::SC_RUNNING);
201a207
> }