genode/repos/os/src
Martin Stein adfb1a77e2 timer/epit: remove unused code
* use correct/more modern types
* get rid of old code that was for the public use of the EPIT backend
* merge Epit_base into Time_source
2017-11-30 11:23:18 +01:00
..
app nit_focus component that implements click-to-focus 2017-11-30 11:23:15 +01:00
drivers timer/epit: remove unused code 2017-11-30 11:23:18 +01:00
init init: forward RAM/cap quota session errors 2017-11-30 11:23:13 +01:00
lib timeout: replace Duration operators by methods 2017-11-30 11:23:09 +01:00
server input_filter: support <include> in <remap> nodes 2017-11-30 11:23:15 +01:00
test Draw frame in framebuffer test 2017-11-30 11:23:11 +01:00