From 9c57fd72295b3e2c79058860522ef35ec7eeda07 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 30 Jul 2012 11:00:43 +0200
Subject: [PATCH] NOVA: delegate EC cap solely with recall right

Vancouver recalls the vCPU in the vCPU dispatcher code. Enable the right bit
in the mapped native cap so that Vancouver actually is able to perform this
operation.
---
 base-nova/src/core/include/platform_thread.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/base-nova/src/core/include/platform_thread.h b/base-nova/src/core/include/platform_thread.h
index 974b449686..3c083af588 100644
--- a/base-nova/src/core/include/platform_thread.h
+++ b/base-nova/src/core/include/platform_thread.h
@@ -125,7 +125,10 @@ namespace Genode {
 
 			Native_capability native_cap()
 			{
-				return Native_capability(_sel_ec(), 0);
+				using namespace Nova;
+
+				return Native_capability(
+					_sel_ec(), Obj_crd::RIGHT_EC_RECALL);
 			}
 
 	};