From 89f813f1133aa1473ab796cbbaf28093d294a0b3 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 12 Feb 2020 13:18:40 +0100 Subject: [PATCH] os: add sandbox lib to api/os --- repos/os/lib/symbols/sandbox | 9 +++++++++ repos/os/recipes/api/os/content.mk | 2 +- 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 repos/os/lib/symbols/sandbox diff --git a/repos/os/lib/symbols/sandbox b/repos/os/lib/symbols/sandbox new file mode 100644 index 000000000..2e87285bb --- /dev/null +++ b/repos/os/lib/symbols/sandbox @@ -0,0 +1,9 @@ +_ZN6Genode7Sandbox12apply_configERKNS_8Xml_nodeE T +_ZN6Genode7Sandbox18Local_service_base26_for_each_session_to_closeERNS1_8Close_fnE T +_ZN6Genode7Sandbox18Local_service_base26_for_each_upgraded_sessionERNS1_10Upgrade_fnE T +_ZN6Genode7Sandbox18Local_service_base27_for_each_requested_sessionERNS1_10Request_fnE T +_ZN6Genode7Sandbox18Local_service_baseC1ERS0_RKNS_6StringILm32EEERNS1_6WakeupE T +_ZN6Genode7Sandbox18Local_service_baseC2ERS0_RKNS_6StringILm32EEERNS1_6WakeupE T +_ZN6Genode7SandboxC1ERNS_3EnvERNS0_13State_handlerE T +_ZN6Genode7SandboxC2ERNS_3EnvERNS0_13State_handlerE T +_ZNK6Genode7Sandbox21generate_state_reportERNS_13Xml_generatorE T diff --git a/repos/os/recipes/api/os/content.mk b/repos/os/recipes/api/os/content.mk index 7cdabd7f4..13dfa860f 100644 --- a/repos/os/recipes/api/os/content.mk +++ b/repos/os/recipes/api/os/content.mk @@ -1,6 +1,6 @@ INCLUDE_SUB_DIRS := os util packet_stream_rx packet_stream_tx -MIRRORED_FROM_REP_DIR := $(addprefix include/,$(INCLUDE_SUB_DIRS)) +MIRRORED_FROM_REP_DIR := $(addprefix include/,$(INCLUDE_SUB_DIRS)) lib/symbols content: $(MIRRORED_FROM_REP_DIR) LICENSE