mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
4630c4b9ff
Previously we were doing the initialization once over all domains, remembered which of them became invalid and destroyed those afterwards. This isn't sufficient. As soon as one domain becomes invalid we have to dissolve/destroy this one, deinitialize all other domains again (as they could contain references to the invalid domain) and retry to initialize them from the beginning. We proceed with this until we have one run without a domain becoming invalid. Then we can be sure that the last initialization run did not create references to any invalid domain. Issue #2840 |
||
---|---|---|
.. | ||
app | ||
drivers | ||
init | ||
lib | ||
server | ||
test |