mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-14 14:37:41 +00:00
The test triggers the following assertion in the kernel, which will remain unfixed as the kernel is no longer developed: Assertion queue_state.is_set(queue_state_t::send) failed in file .../pistachio/kernel/src/api/v4/tcb.h, line 727 This assertion is presumably similar / related to issue #1495.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.