Norman Feske a23ac5f569 base/nova: add idle threads to trace sources ...

Issue #813

2015-06-22 14:43:39 +02:00

..

base

nova: delay UTCB revocation on thread destruction

2015-05-26 09:39:46 +02:00

core

base/nova: add idle threads to trace sources

2015-06-22 14:43:39 +02:00

kernel

base-nova: migrate to new ports mechanism

2014-05-27 11:14:43 +02:00

platform

Remove output-section fill from linker scripts

2015-01-20 11:25:59 +01:00

test/platform

base: remove cap_integrity test (fix #1536)

2015-05-26 09:40:04 +02:00