Alexander Boettcher a7235d2411 NOVA: Use Genode interfaces to bootstrap Vancouver ...

Since no kernel objects can be created anymore outside Genode::core,
the Vancouver port must be adjusted to use solely the Genode interfaces.

The Vcpu_dispatcher creates all portals via the cpu_session interface and
uses the feature to setup a specific receive window during a IPC (the
cap_session::alloc IPC) to place to be received/to be mapped capability
(virtualization exception portal) at the designed indexes.

The actual vCPU thread extends from a normal Genode::Thread and extends it
by specific vCPU requirements, which are a larger exception base window and
the need by Vancouver to place the SM and EC cap at indexes next to each other.

Fixes #316

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

..

base

NOVA: Use Genode interfaces to bootstrap Vancouver

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

core

NOVA: add support to cpu_session to create vCPUs

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

kernel

Use NOVA microkernel from github, add 64bit

2012-06-20 19:44:07 +02:00

platform

NOVA: remove pd selector from non Core code

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

test/cap_integrity

Adjust cap_integrity test to NOVA changes

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