genode/repos/os/src/server
Martin Stein 3cdcb528ff nic_router: advanced timeout configuration
Replace former rtt_sec attribute of the <config> tag by more specific
(and still optional) attributes for timeouts used in the NIC router
(these are also the default values):

<config dhcp_discover_timeout_sec="10"
        dhcp_request_timeout_sec="10"
        dhcp_offer_timeout_sec="10"
        udp_idle_timeout_sec="30"
        tcp_idle_timeout_sec="600"
        tcp_max_segm_lifetime_sec="30">

Details about the new attributes can be found in the README of the router.

Issue #2590
2017-12-21 15:01:32 +01:00
..
blk_cache default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
chroot import chroot from world repository 2017-10-05 17:40:04 +02:00
clipboard Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
dynamic_rom Streamline exception types 2017-05-31 13:16:07 +02:00
fs_log VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
fs_report vfs: handle root directory explicitly 2017-11-30 11:23:10 +01:00
fs_rom fs_rom: log permission-denied errors 2017-11-30 11:23:21 +01:00
input_filter input_filter: support <include> in <remap> nodes 2017-11-30 11:23:15 +01:00
input_merger Streamline exception types 2017-05-31 13:16:07 +02:00
iso9660 Streamline exception types 2017-05-31 13:16:07 +02:00
loader Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
log_report Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
log_terminal Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lx_block lx_block: add file based Block driver for Linux 2017-11-30 11:23:04 +01:00
lx_fs ram_fs: throw exception when unlinked node gets accessed 2017-11-09 12:18:05 +01:00
mixer Streamline exception types 2017-05-31 13:16:07 +02:00
nic_bridge dhcp: extend options utilities 2017-10-19 13:29:44 +02:00
nic_dump nic_dump: fix bug in packet log 2017-11-06 13:57:24 +01:00
nic_loopback Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
nic_router nic_router: advanced timeout configuration 2017-12-21 15:01:32 +01:00
nit_fb nit_fb: support 'origin' attribute 2017-11-06 13:57:18 +01:00
nitpicker nitpicker: equip hover report with 'active' info 2017-11-30 11:23:14 +01:00
part_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
ram_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
ram_fs ram_fs: throw exception when unlinked node gets accessed 2017-11-09 12:18:05 +01:00
report_rom Streamline exception types 2017-05-31 13:16:07 +02:00
rom_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
rom_filter rom_filter: allow use of input as attribute value 2017-11-30 11:23:15 +01:00
rom_prefetcher Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
tar_rom tar_rom: minor documentation fix 2017-08-28 16:49:37 +02:00
terminal_crosslink terminal_crosslink: prevent deprecated warning 2017-03-15 12:24:43 +01:00
terminal_log terminal_log: carriage-return on newline 2017-08-17 11:04:20 +02:00
trace_fs ram_fs: throw exception when unlinked node gets accessed 2017-11-09 12:18:05 +01:00
tz_vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00
vfs vfs: close directory handle in node destructor 2017-11-30 11:23:21 +01:00
vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00