mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
cd4d00f31a
* use 'Id_space::apply_any' instead of 'for_each' to destroy session local buffer objects * save session capability in session because 'cap()' is not valid in 'Session_component' destructor because it was dissolved before calling 'Root::_destruct_session', the cap is necessary to remove owned buffers from the EP issue #4380
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.