genode/repos/os/xsd
Stefan Kalkowski 18dcf8af68 Remove NIC server role from drivers
* Remove "mode" attribute utility and XML description
* Remove unused nic/stat.h header

Fix genodelabs/genode#3961
2022-05-25 12:19:31 +02:00
..
net_types.xsd
timeout_types.xsd timeout_types.xsd: Minutes type 2019-08-21 12:37:02 +02:00