On 20/02/2015 09:02, Pavel Dovgaluk wrote: >> > >> > Is it possible to call this together with configure_icount (or even from >> > configure_icount)? > I think that it is the best place for replay_configure. > It sets replay_mode which may be checked while configuring the virtual > machine. > That's why this function is called before any initialization actions.
Ok, that was only a minor remark. Paolo
