ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: add debug monitor to goa testbed

Browse Source 
This also adds policies and domains to the nic router config for gdb and
vnc.

Fixes #5293
This commit is contained in:
Johannes Schlatow 2024-07-04 08:07:06 +02:00 committed by Christian Helmuth
parent 62061c5596
commit 86848d2868
2 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/gems/sculpt/deploy/goa_testbed
View File

@ -89,7 +89,7 @@
</config>
</start>
<start name="goa_testbed" pkg="jschlatow/pkg/goa_testbed/2024-04-22" priority="-2">
<start name="goa_testbed" pkg="jschlatow/pkg/goa_testbed/2024-07-15" priority="-2">
<route>
<service name="TRACE"> <parent/> </service>
<service name="VM"> <parent/> </service>
@ -102,8 +102,9 @@
<service name="Event"> <child name="black_hole"/> </service>
<service name="Capture"> <child name="black_hole"/> </service>
<service name="File_system"> <child name="recall_fs"/> </service>
<service name="Nic" label_prefix="tcp_terminal"> <child name="nic_router" label="telnet"/> </service>
<service name="Nic" label_prefix="lighttpd"> <child name="nic_router" label="http"/> </service>
<service name="Nic" label_prefix="telnet"> <child name="nic_router" label="telnet"/> </service>
<service name="Nic" label_prefix="http"> <child name="nic_router" label="http"/> </service>
<service name="Nic" label_prefix="gdb"> <child name="nic_router" label="gdb"/> </service>
<service name="Nic"> <!-- for test scenario --> <child name="nic_router"/> </service>
<service name="Report" label="clipboard"> <child name="wm"/> </service>
<service name="Report" label="shape"> <child name="wm"/> </service>

4
repos/gems/src/app/sculpt_manager/network.cc
View File

@ -40,6 +40,8 @@ void Sculpt::Network::_generate_nic_router_uplink(Xml_generator &xml,
tcp_forward(80 /* HTTP */ , "http", "10.0.80.2");
tcp_forward(23 /* telnet */ , "telnet", "10.0.23.2");
tcp_forward(9999 /* gdb */ , "gdb", "10.0.99.2");
tcp_forward(5900 /* VNC */ , "vnc", "10.0.59.2");
});
}
@ -148,6 +150,8 @@ void Sculpt::Network::_generate_nic_router_config()
};
tcp_service_domain("http", "10.0.80");
tcp_service_domain("telnet", "10.0.23");
tcp_service_domain("gdb", "10.0.99");
tcp_service_domain("vnc", "10.0.59");
});
}