diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 652906223b..35d0c9962b 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -225,7 +225,7 @@ install_config { - + @@ -365,7 +365,7 @@ install_config { - + } [log_route] { @@ -404,6 +404,7 @@ install_config { + @@ -520,6 +521,7 @@ install_config { + diff --git a/repos/gems/sculpt/leitzentrale/default b/repos/gems/sculpt/leitzentrale/default index 673f342fbb..d2d661f573 100644 --- a/repos/gems/sculpt/leitzentrale/default +++ b/repos/gems/sculpt/leitzentrale/default @@ -45,6 +45,7 @@ + @@ -59,6 +60,7 @@ + @@ -72,6 +74,7 @@ + @@ -82,6 +85,7 @@ + @@ -169,6 +173,7 @@ + diff --git a/repos/gems/src/app/sculpt_manager/menu_view.cc b/repos/gems/src/app/sculpt_manager/menu_view.cc index 8bf0df6ab5..8035b083ac 100644 --- a/repos/gems/src/app/sculpt_manager/menu_view.cc +++ b/repos/gems/src/app/sculpt_manager/menu_view.cc @@ -100,6 +100,9 @@ void Menu_view::_gen_start_node_content(Xml_generator &xml) const { _child_state.gen_start_node_content(xml); + gen_named_node(xml, "resource", "CPU", [&] () { + xml.attribute("quantum", 10); }); + gen_named_node(xml, "binary", "menu_view"); xml.node("config", [&] () { diff --git a/repos/gems/src/app/sculpt_manager/runtime/runtime_view.cc b/repos/gems/src/app/sculpt_manager/runtime/runtime_view.cc index 8e48b9b4b0..cb832f94a9 100644 --- a/repos/gems/src/app/sculpt_manager/runtime/runtime_view.cc +++ b/repos/gems/src/app/sculpt_manager/runtime/runtime_view.cc @@ -24,6 +24,9 @@ void Sculpt::gen_runtime_view_start_content(Xml_generator &xml, { state.gen_start_node_content(xml); + gen_named_node(xml, "resource", "CPU", [&] () { + xml.attribute("quantum", 20); }); + gen_named_node(xml, "binary", "menu_view"); xml.node("config", [&] () {