mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
11b2f30318
Trace_control dataspace gets destroyed implicitly when the cpu session is closed. Remove the trace control dataspace from the internal noux dataspace registry before cpu session destruction.
This directory contains ports of popular 3rd-party applications to Genode. The 'ports' repository follows the line of the 'libports' repository. For instructions about downloading and building 3rd-party applications, please refer to 'libports/README'. Dependencies from other repositories ------------------------------------ Application provided by the 'ports' repository typically expect a rich runtime environment, including shared libraries provided by the 'libports' repository. Hence, 'ports' depends on 'libports'.