Alexander Boettcher c1d59e81c2 NOVA: use latest kernel from github ...

Related to issue #431. Requires toolchain rebuild to bump version to 2.22 !!!

Fixes #429

2012-11-05 17:28:51 +01:00

..

base

Cleanup: remove 'first' and 'next' of cpu_session

2012-10-24 11:34:38 +02:00

core

Introduce platform-specific services for core

2012-10-29 10:08:29 +01:00

kernel

NOVA: use latest kernel from github

2012-11-05 17:28:51 +01:00

platform

NOVA: cleanup - remove _first_sel special handling

2012-10-08 15:08:12 +02:00

test/cap_integrity

Adjust cap_integrity test to NOVA changes

2012-08-09 11:09:42 +02:00