Martin Stein e87f63944f timeout: replace Duration operators by methods ... void += (Microseconds) -> void add(Microseconds) void += (Milliseconds) -> void add(Milliseconds) bool < (Duration) -> bool less_than(Duration) Issue #2581		2017-11-30 11:23:09 +01:00
..
alarm	alarm: fix bug in _setup_alarm	2017-10-19 13:29:41 +02:00
blit	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
net	net: move Ipv4_address_prefix to nic_router	2017-11-06 13:57:21 +01:00
server	base: classify signals as I/O and application level	2017-05-31 13:15:58 +02:00
timed_semaphore	timed_semaphore: fix deprecated warning	2017-05-31 13:16:19 +02:00
timeout	timeout: replace Duration operators by methods	2017-11-30 11:23:09 +01:00
trace/policy	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
vfs	ram_fs: throw exception when unlinked node gets accessed	2017-11-09 12:18:05 +01:00