mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
2014046f77
Now, we schedule before unblocking the rx_task. This is done in order to execute a potentially ready ksoftirqd before unblocking the rx_task, which in turn may execute soft-interrupt handlers through bottom half code leading to double lock attempts of the socket spinlock. Issue #5264