mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 18:22:41 +00:00
28f7cf5dc2
As first step the rpc object must be freed up so that the kernel object (portal) vanishes. Then the object must be removed from the internal object pool list so that the object can't be obtained anymore. And then the cleanup call can be performed (_leave_server_object) since now all names to the rpc_object are gone. Doing it in different order (as before the commit) there is a very very little chance (but the bomb test triggers it occasionally) that the rpc_object can be obtained again by an incoming IPC - even it is already scheduled for removal. Fixes partly #549
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':