mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-26 04:04:29 +00:00
8c7bbdecdf
In the domain class there were several places where output was generated
not conforming to the typical output format of the router ("[domain]
event: parameters").
Issue #2670
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.