genode/repos/os/src
Martin Stein 0b8520a208 nic_router: act as ICMP Echo server
The ICMP-Echo-server functionality of the router has the following
configuration attributes (default values shown):

! <config icmp_echo_server="yes">
!    <domain icmp_echo_server="yes" ... />
! </config>

The icmp_echo_server attribute configures whether the router answers ICMP Echo
requests that address the router. The <config> value affects all domains
without a <domain> local value.

Issue #2874
2018-06-29 10:44:58 +02:00
..
app init test: reduce RAM demand of app/dummy 2018-06-12 12:11:51 +02:00
drivers platform_drv: use Expanding_reporter for pci report 2018-06-29 10:44:56 +02:00
init init: avoid too eager child restart 2018-06-13 13:52:10 +02:00
lib net: get rid of unused mac_from_string method 2018-05-30 13:36:36 +02:00
server nic_router: act as ICMP Echo server 2018-06-29 10:44:58 +02:00
test os: improve robustness of init_loop test 2018-06-29 10:44:57 +02:00