Martin Stein 226c4a475b nic_router: do not warn on sending to empty domain ... The warning "no interface connected to domain" was introduced when only one NIC session at a time could be connected to a domain. It should help to track packet drops that were caused by startup timing issues between servers and clients. However, a user should watch the "NIC sessions" value of a domain (verbose_domain_state) instead when debugging packet loss. With support for multiple sessions per domain, even a non-empty domain may still miss the session that connects the desired server. Fix #2629		2018-01-17 12:14:33 +01:00
..
app	os: add app to transform kernel/core output to LOG	2017-12-21 15:01:48 +01:00
drivers	timer epit: fix multi-wraps and bug in rate limit	2017-11-30 11:23:20 +01:00
init	init: refine verbosity handling	2017-12-21 15:01:48 +01:00
lib	Add millisecond accessor to Genode::Duration value object	2017-12-21 15:01:51 +01:00
server	nic_router: do not warn on sending to empty domain	2018-01-17 12:14:33 +01:00
test	signal.run: avoid deadlock during test destruction	2017-12-21 15:01:40 +01:00