genode/repos/os/lib/mk/sandbox.mk

SRC_CC   = library.cc child.cc server.cc config_model.cc
INC_DIR += $(REP_DIR)/src/lib/sandbox
LIBS    += base

SHARED_LIB = yes

vpath %.cc $(REP_DIR)/src/lib/sandbox
sandbox/init: parse config using 'List_model' This commit replaces the hand-crafted config processing by the use of the 'List_model' utility. This has the following advantages: - The parsing follows a common formalism that makes the code easier to maintain and to understand. Several parts of the code had to be changed (for the better) to make it fit the list model approach. E.g., the child states have become more expressive and logical. - In the common case, the XML data is traversed only once, which increases the parsing speed in dynamic scenarios. - The code becomes easier to optimize. In particular, the patch skips the re-evaluation of the session routing if no service is affected by the config change. The patch also revisits the init test by removing overly long sleep phases and extending a few sleep phases that were too short when executing the test on Qemu. Issue #4068 2021-04-01 16:05:23 +00:00			`SRC_CC = library.cc child.cc server.cc config_model.cc`
New sandbox library extracted from init component This patch extracts the child-management functionality from the init component into a new library called "sandbox". The library API is located at 'os/include/os/sandbox.h'. The sandbox API allows for the interaction of the component with the sandboxed children by providing locally implemented services. This mechanism is illustrated by the new test at os/src/test/sandbox. Issue #3601 2020-01-09 20:23:19 +00:00			`INC_DIR += $(REP_DIR)/src/lib/sandbox`
			`LIBS += base`

			`SHARED_LIB = yes`

			`vpath %.cc $(REP_DIR)/src/lib/sandbox`