mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
ceb91732bf
This patch splits the creation and updating of monitor objects into two stages. The creation of a monitor object changes the state of the associated trace subject. The patch ensures that the new state is captured by the update of the monitor object. Issue #4448
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.