Norman Feske bf62d6b896 Move timer from os to base repository ... Since the timer and timeout handling is part of the base library (the dynamic linker), it belongs to the base repository. Besides moving the timer and its related infrastructure (alarm, timeout libs, tests) to the base repository, this patch also moves the timer from the 'drivers' subdirectory directly to 'src' and disamibuates the timer's build locations for the various kernels. Otherwise the different timer implementations could interfere with each other when using one build directory with multiple kernels. Note that this patch changes the include paths for the former os/timer, os/alarm.h, os/duration.h, and os/timed_semaphore.h to base/. Issue #3101		2019-01-14 12:33:57 +01:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
etc	sel4: add Wandboard Quad (iMX6) support	2017-08-17 11:04:21 +02:00
include/sel4	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
lib	init: health monitoring of child components	2018-11-27 11:36:34 +01:00
mk/spec	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
patches	sel4: enable fpu for wand_quad	2019-01-07 12:33:55 +01:00
ports	sel4: enable fpu for wand_quad	2019-01-07 12:33:55 +01:00
recipes/src	Move timer from os to base repository	2019-01-14 12:33:57 +01:00
src	Move timer from os to base repository	2019-01-14 12:33:57 +01:00