mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
hoitaja: Update cell's CPU affinities every time the habitat's config is changed.
This commit is contained in:
@@ -592,8 +592,9 @@ void Genode::Sandbox::Library::apply_config(Xml_node const &config)
|
|||||||
_children.for_each_child([&] (Child &child) { child.apply_downgrade(); });
|
_children.for_each_child([&] (Child &child) { child.apply_downgrade(); });
|
||||||
_children.for_each_child([&] (Child &child) { child.apply_upgrade(); });
|
_children.for_each_child([&] (Child &child) { child.apply_upgrade(); });
|
||||||
|
|
||||||
if (_state_report_outdated)
|
if (_state_report_outdated) _state_reporter.trigger_immediate_report_update();
|
||||||
_state_reporter.trigger_immediate_report_update();
|
|
||||||
|
maintain_cells();
|
||||||
}
|
}
|
||||||
|
|
||||||
void Genode::Sandbox::Library::maintain_cells()
|
void Genode::Sandbox::Library::maintain_cells()
|
||||||
|
|||||||
Reference in New Issue
Block a user