mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-23 10:40:27 +00:00
There is a race between the trace subject doing the buffer initialization and the monitor trying to iterate the buffer entries. If the monitor tries to iterate entries of an uninitialized buffer, it will read the very first entry twice. The monitor should therefore only start iteration when the buffer has been initialised. genodelabs/genode#4513
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.