Martin Stein 4d3d4ecca0 hw core: merge Kernel::Clock and Kernel::Timer ... With this, we get rid of platform specific timer interfaces. The new Timer class does the same as the old Clock class and has a generic interface. The old Timer class was merely used by the old Clock class. Also, we get rid of having only one timer instance which we tell with each method call for which CPU it shall be done. Instead now each Cpu object has its own Timer member that knows the CPU it works for. Also, rename all "tics" to "ticks". Fixes #2347		2017-05-31 13:16:10 +02:00
..
doc	hw/doc: Update Muen tutorial	2017-05-02 15:28:53 +02:00
etc	base: remove include/spec/* other than ISA	2017-05-31 13:16:01 +02:00
include	Annotate session interfaces with CAP_QUOTA	2017-05-31 13:16:04 +02:00
lib/mk	hw core: merge Kernel::Clock and Kernel::Timer	2017-05-31 13:16:10 +02:00
ports	Update Muen port	2017-05-02 15:28:53 +02:00
recipes	Depot-archive recipes	2017-05-31 13:15:56 +02:00
run	hw: destroy active scheduling context (fix #1537)	2017-03-15 12:32:25 +01:00
src	hw core: merge Kernel::Clock and Kernel::Timer	2017-05-31 13:16:10 +02:00