mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-11 06:54:18 +00:00
parent
d6c6549354
commit
b48c917984
@ -141,6 +141,7 @@
|
||||
<xs:attribute name="icmp_idle_timeout_sec" type="Seconds" />
|
||||
<xs:attribute name="tcp_max_segm_lifetime_sec" type="Seconds" />
|
||||
<xs:attribute name="icmp_echo_server" type="Boolean" />
|
||||
<xs:attribute name="ld_verbose" type="Boolean" />
|
||||
</xs:complexType>
|
||||
</xs:element><!-- config -->
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user