alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

core: add kernel-specific UTCB quota bookkeeping

Browse Source 
Fix #859
This commit is contained in:
Stefan Kalkowski
2020-01-31 15:50:34 +01:00
committed by Christian Helmuth
parent 4f217b19a9
commit 79fba6c2ac
6 changed files with 22 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-pistachio/lib/mk/core-pistachio.inc
View File

@@ -9,7 +9,7 @@ SRC_CC = stack_area.cc \
core_rpc_cap_alloc.cc \
core_region_map.cc \
cpu_session_component.cc \
cpu_session_platform.cc \
cpu_session_support.cc \
cpu_thread_component.cc \
capability_space.cc \
dataspace_component.cc \

26
repos/base-pistachio/src/core/cpu_session_platform.cc
View File

@@ -1,26 +0,0 @@
/*
* \brief Platform-specific parts of the core CPU session interface
* \author Martin Stein
* \date 2012-04-17
*/
/*
* Copyright (C) 2009-2017 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU Affero General Public License version 3.
*/
/* Genode includes */
#include <cpu_session_component.h>
using namespace Genode;
Dataspace_capability Cpu_thread_component::utcb()
{
return Dataspace_capability();
}
Cpu_session::Quota Cpu_session_component::quota() { return Quota(); }