genode/repos/os/src
Martin Stein 2733d3fea5 nic_router: verbose_packet_drop attribute
The log messages covered by verbose_packet_drop were previously
configured by the verbose attribute. This isn't the case anymore. Now,
you can configure them as follows:

! <config verbose_packet_drop="no" ... >
!     <domain verbose_packet_drop="no" ... />
! <config/>

The new attribute determines whether to log each packet drop and the
rational behind it. The <config> value affects all domains without a
<domain> local value.

Issue #2857
2018-06-29 10:44:59 +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: verbose_packet_drop attribute 2018-06-29 10:44:59 +02:00
test os: improve robustness of init_loop test 2018-06-29 10:44:57 +02:00