mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
This patch takes precautions against the use of blocking packet-stream operations like 'submit_packet'. With the change of issue #4388, the ready-to-submit signals are no longer implicitly handled. Hence, a call of submit_packet to a saturated submit queue blocks infinitely. Issue #4390
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.