Alexander Boettcher 5336ba4b8c nova: report CPU idle times using genode cpu ids ...

Fixes #2517

2017-10-05 17:39:56 +02:00

..

core

nova: report CPU idle times using genode cpu ids

2017-10-05 17:39:56 +02:00

include

base: make stack area base specifiable for core

2017-08-28 16:49:46 +02:00

kernel/nova

nova: fix irq handling for qemu 2.7 and newer

2017-03-15 12:33:49 +01:00

lib

base: make stack area base specifiable for core

2017-08-28 16:49:46 +02:00

test/platform

os: removal of deprecated os/config.h (fix #2431)

2017-05-31 13:16:22 +02:00