mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-19 01:10:35 +00:00
040eae4806
The tasklet_schedule implementation was missing the unblock call, which was no problem in the past because the correspending task would get un- blocked by other work items. Now that every workqueue has its own task, there is nobody left to unblock the task and thereby execute the tasklet. As a tasklet is the only way to transmit any pending frames after transmission was temporarily suspended - because the device/fw was not able to process the TX request - this rendered 6xxx devices unusable whenever this situation occurred. Fixes #2973.