Alexander Boettcher 5620eca7b9 NOVA: force to map cap in pd_session::assing_pd

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

..

x86_32

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

x86_64

Use NOVA microkernel from github, add 64bit

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

cap_copy.mk

NOVA: force to map cap in pd_session::assing_pd

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

core_printf.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

env.mk

Facility for reinitializing Platform_env

2012-02-22 15:56:45 +01:00

ipc.mk

Unify policy name for Native_capability_tpl.

2012-03-10 15:52:13 +01:00

lock.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

pager.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

raw_server.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

server.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

thread_context.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

thread.mk

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00