diff --git a/base-hw/src/core/context_area.cc b/base-hw/src/core/context_area.cc new file mode 100644 index 0000000000..0d64567c87 --- /dev/null +++ b/base-hw/src/core/context_area.cc @@ -0,0 +1,28 @@ +/* + * \brief Support code for the thread API + * \author Martin Stein + * \date 2013-05-07 + */ + +/* + * Copyright (C) 2013 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + +/* Genode includes */ +#include + +using namespace Genode; + +/** + * Return single instance of the context-area RM-session + * + * In base-hw core this object is never used because contexts + * get allocated through the phys-mem allocator. Anyways the + * accessor must exist because generic main-thread startup calls + * it to ensure that common allocations do not steal context area. + */ +namespace Genode { Rm_session * env_context_area_rm_session() { return 0; } } + diff --git a/base-hw/src/core/target.inc b/base-hw/src/core/target.inc index a4af0d337a..fea0b9649d 100644 --- a/base-hw/src/core/target.inc +++ b/base-hw/src/core/target.inc @@ -36,6 +36,7 @@ SRC_CC += console.cc \ platform.cc \ platform_pd.cc \ platform_thread.cc \ + context_area.cc \ ram_session_component.cc \ ram_session_support.cc \ rm_session_component.cc \