mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
In case the storage-entry point dispatches more then one packet, wait for the previous command to finish before setting a new request. This has to be done because the 'queuecommand' does actually *not* queue things, but can only handle one request at the time. Fix #1143