Norman Feske 959572968d core: provide thread exec times via TRACE service ... This patch enable clients of core's TRACE service to obtain the execution times of trace subjects (i.e., threads). The execution time is delivered as part of the 'Subject_info' structure. Right now, the feature is available solely on NOVA. On all other base platforms, the returned execution times are 0. Issue #813		2015-06-22 14:43:38 +02:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
include	base: make PD session upgradeable	2015-05-26 09:40:02 +02:00
lib	sel4: use LOG console for non-core components	2015-05-26 09:40:01 +02:00
mk	Add sel4_x86_32 to create_builddir tool	2015-05-26 09:40:01 +02:00
ports	sel4: replace syscalls.patch by macros.patch	2015-05-26 09:39:54 +02:00
run	sel4: core skeleton	2015-05-26 09:39:57 +02:00
src	core: provide thread exec times via TRACE service	2015-06-22 14:43:38 +02:00