mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-10 12:51:34 +00:00
d23ee02e9a
The IPC-server object exists solely on the stack of the entrypoint thread and, therefore, would never be destructed as the thread is just killed. Now, the object is explicitly destructed in the entrypoint destructor. An alternative solution could instruct the entrypoint thread the terminate, which would automatically cleanup its stack. The object pool is assumed to be empty on destruction of the entrypoint. If not, we warn and at least dissolve all RPC objects.
This repository contains the port of Genode to the NOVA microhypervisor. For more information on this base platform, please refer to the official website. :[http://hypervisor.org]: Official website for the NOVA microhypervisor. For information on using Genode on NOVA, please revisit the documentation at 'base-nova/doc/nova.txt':