mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
e8f82a1da3
On NOVA, a Genode thread currently cannot destroy itself by destroying its own 'Thread' object, because in 'Thread_base::_deinit_platform_thread()' it cannot call 'Cpu_session::kill_thread()' anymore after it has revoked its own UTCB. As solution, the revocation of the UTCB can be delayed until its location in the context area is needed by a new thread. Fixes #1505
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':