genode/repos/libports/lib
Norman Feske 1be4a0aeaf libc: prevent timer session if rtc not configured
This patch makes the creation of the libc's timer session depend on
whether or not the 'rtc' attribute of the <libc> configuration is
defined. If not configured, 'clock_gettime' returns 0.

Fixes #2625
2018-01-17 12:14:33 +01:00
..
import Port of libarchive 2017-12-21 15:01:42 +01:00
mk libc: prevent timer session if rtc not configured 2018-01-17 12:14:33 +01:00
symbols depot: recipe for stdcxx library 2017-12-22 11:43:39 +01:00