Martin Stein 02c16e7106 hw: split resume_local_thread from resume_thread ... Kernel::resume_thread was restricted to core when the targeted thread was in another domain. Now there are two kernel calls, resume_local_thread and resume_thread, where the former is never restricted and is provided via public kernel/interface.h and the latter is always restricted to core and is provided via core-local kernel/core_interface.h. ref #1101		2014-04-07 17:09:52 +02:00
..
interface.h	hw: split resume_local_thread from resume_thread	2014-04-07 17:09:52 +02:00
log.h	hw: ease usage of the kernel log	2014-02-25 14:58:02 +01:00
perf_counter.h	hw: enable performance counter on ARMv6 and ARMv7	2013-10-17 11:05:53 +02:00