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