4 Dec
2020
4 Dec
'20
1:59 p.m.
Hello Christo,
maybe my hint sounds trivial but keep in mind that Genode log messages are not printed to the HDMI screen but only available on the UART/serial line.
Greets
--
Christian Helmuth
Genode Labs
https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth