Alexander Boettcher
a31378476d
nova: use in core one pager per CPU
...
Fixes #1394
2015-02-27 11:40:58 +01:00
Alexander Boettcher
8842ba2e1c
nova: remove timer delay heuristic
...
The commit uses a fixed kernel branch (r8), which fixes a caching bug
observable in the Genode host. The quirk detecting the circumstance in the
timer service is obsolete now and is removed.
Fixes #1338
2015-01-06 12:39:11 +01:00
Alexander Boettcher
eedf3fa413
nova: update to r7 branch
...
Fixes #1297
2014-11-28 12:00:44 +01:00
Alexander Boettcher
e70c13ce1f
nova: update to r6 nova kernel branch
...
- adds general support for semaphore timeouts
- fixes PCID feature (aka tagged TLB) seeen on Lenovo X201
Fixes #1211
2014-07-24 10:18:06 +02:00
Norman Feske
615830e107
Enable hash checks for ports mechanism
2014-05-27 13:45:03 +02:00
Norman Feske
7d4f8fa746
base-nova: migrate to new ports mechanism
...
Issue #1082
2014-05-27 11:14:43 +02:00
