ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-01 15:10:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt_manager: increase inspect fs buffer size

Browse Source 
128 KiB (apparent cp(1) default size) + 16 KiB.
This commit is contained in:
Josef Söntgen 2022-06-05 14:14:53 +00:00 committed by Christian Helmuth
parent f4f1092f1d
commit 7e4154b063
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
repos/gems/src/app/sculpt_manager/runtime/inspect_view.cc
View File

@ -53,7 +53,7 @@ static void gen_vfs_start(Xml_generator &xml,
Ram_fs_state const &ram_fs_state) Ram_fs_state const &ram_fs_state)
{ {
gen_common_start_content(xml, "vfs", gen_common_start_content(xml, "vfs",
Cap_quota{200}, Ram_quota{5*1024*1024}, Cap_quota{200}, Ram_quota{6*1024*1024},
Priority::LEITZENTRALE); Priority::LEITZENTRALE);
gen_provides<::File_system::Session>(xml); gen_provides<::File_system::Session>(xml);
@ -79,7 +79,9 @@ static void gen_vfs_start(Xml_generator &xml,
auto fs_dir = [&] (String<64> const &label) { auto fs_dir = [&] (String<64> const &label) {
gen_named_node(xml, "dir", label, [&] () { gen_named_node(xml, "dir", label, [&] () {
xml.node("fs", [&] () { xml.attribute("label", label); }); }); }; xml.node("fs", [&] () {
xml.attribute("buffer_size", 272u << 10);
xml.attribute("label", label); }); }); };
fs_dir("config"); fs_dir("config");
fs_dir("report"); fs_dir("report");
@ -152,7 +154,7 @@ static void gen_fs_rom_start(Xml_generator &xml)
static void gen_bash_start(Xml_generator &xml) static void gen_bash_start(Xml_generator &xml)
{ {
gen_common_start_content(xml, "bash", gen_common_start_content(xml, "bash",
Cap_quota{400}, Ram_quota{15*1024*1024}, Cap_quota{400}, Ram_quota{16*1024*1024},
Priority::LEITZENTRALE); Priority::LEITZENTRALE);
gen_named_node(xml, "binary", "/bin/bash", [&] () { }); gen_named_node(xml, "binary", "/bin/bash", [&] () { });
@ -167,7 +169,9 @@ static void gen_bash_start(Xml_generator &xml)
xml.attribute("rtc", "/dev/rtc"); xml.attribute("rtc", "/dev/rtc");
}); });
xml.node("vfs", [&] () { xml.node("fs", [&] () { }); }); xml.node("vfs", [&] () {
xml.node("fs", [&] () {
xml.attribute("buffer_size", 272u << 10); }); });
auto gen_env = [&] (auto key, auto value) { auto gen_env = [&] (auto key, auto value) {
xml.node("env", [&] () { xml.node("env", [&] () {