Small addition that allows booting cores in parallel. We track where we sent notifications to avoid duplicates and we don't send notifications to monitors that are not completely up yet (to avoid memory allocation errors).
Small addition that allows booting cores in parallel. We track
where we sent notifications to avoid duplicates and we don't send
notifications to monitors that are not completely up yet (to
avoid memory allocation errors).

modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish