From ea156e18ece0b5bff393c5cbb7227d24d289f429 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 17 Mar 2014 00:59:31 +0100
Subject: [PATCH] hw: don't use assert in Kernel::update_pd

ref #1101
---
 base-hw/src/core/kernel/thread.cc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index 2475967b6b..218688774b 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -603,7 +603,12 @@ void Thread::_call_access_thread_regs()
 
 void Thread::_call_update_pd()
 {
-	assert(_core());
+	/* check permissions */
+	if (!_core()) {
+		PWRN("not entitled to update domain");
+		return;
+	}
+	/* update hardware caches */
 	Processor::flush_tlb_by_pid(user_arg_1());
 }