mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
a45aabe68c
Before this commit, the block-request handler was implemented as Io_signal_handler and, additionally, the USB driver called the block-request handler on request completion directly on I/O level. This is generally a bad idea because I/O handlers should avoid to have direct global side effects. In contrast, application logic should be implemented in way that it consumes atomic state changes after I/O completed. Now USB I/O completion locally submits a signal to the block-request Signal_handler.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.