RS: also wait for VM's RS_INIT message

Bug reported by JD Begin.

Change-Id: Idd8c4299f20253fe2d982af319002bfb67af27c6
This commit is contained in:
David van Moolenbroek 2014-02-25 15:08:20 +01:00 committed by Lionel Sambuc
parent f199fc0bfe
commit b539f91aba

View file

@ -348,6 +348,10 @@ static int sef_cb_init_fresh(int UNUSED(type), sef_init_info_t *UNUSED(info))
if ((s = init_service(rp, SEF_INIT_FRESH)) != OK) {
panic("unable to initialize %d: %d", boot_image_priv->endpoint, s);
}
/* VM will still send an RS_INIT message, though. */
if (boot_image_priv->endpoint != RS_PROC_NR) {
nr_uncaught_init_srvs++;
}
continue;
}