No output with Genode::raw and Fiasco.OC

Christian Helmuth christian.helmuth at
Fri Oct 2 08:39:00 CEST 2020

Hello Simon,

On Thu, Oct 01, 2020 at 19:04:48 CEST, Simon Himmelbauer wrote:
> I'm currently writing a time sensitive-program using Fiasco.OC as a kernel.
> For debugging purposes I wanted to use Genode::raw in order to avoid the
> overhead of Genode::log. However, my calls to raw() don't seem to print
> anything on the console. Is there something I need to enable/configure
> first?

For Genode::raw() to work on Fiasco.OC, the component needs the debug
capability to access the kernel debugger for output. This may be a
robustness/security risk in production systems and is, therefore, not
enabled by default. The access can be enabled by adapting the code
[1] and after recompilation all components can access the Fiasco
kernel debugger.


Happy coding
Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list