From e31ded2198a557dda845ababb3fd8409fa3af277 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Fri, 21 Dec 2018 11:53:54 +0100 Subject: [PATCH] foc: silence mapping warnings Ref #3082 --- repos/base-foc/src/core/platform_pd.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/base-foc/src/core/platform_pd.cc b/repos/base-foc/src/core/platform_pd.cc index 0040cfffc..3528bbf97 100644 --- a/repos/base-foc/src/core/platform_pd.cc +++ b/repos/base-foc/src/core/platform_pd.cc @@ -72,7 +72,8 @@ bool Platform_pd::bind_thread(Platform_thread *thread) /* if it's no core-thread we have to map parent and pager gate cap */ if (!thread->core_thread()) { _task.map(_task.local.data()->kcap()); - _debug.map(_task.local.data()->kcap()); + // FIXME: there is no debug cap anymore + // _debug.map(_task.local.data()->kcap()); } /* inform thread about binding */