mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-10 22:44:30 +00:00
8971bb25ce
This patch makes sure that the dataspace pool is flushed before destructing the heap-local allocator-avl instance. With the original destruction order, the allocator would still contain dangling allocations on the account of the dataspace pool when destructed. In practice, this caused no problem because the underlying backing store is eventually freed on the destruction of the pool. But it triggers a runtime warning of the allocator since it has become more strict with regard to dangling allocations.
This directory contains include files of interfaces that are exported by components to be used by other components. Each subdirectory corresponds to the component exporting the interface.