Genode on RPI - second round

Norman Feske norman.feske at
Thu Feb 28 17:27:18 CET 2019

Hi Tomasz,

> [init -> test ->Kernel: Cpu 0 error: re-entered lock. Kernel exception?!
> For now the "solution" satisfies me but probably I'll get back to it
> when I have a JTAG debugger. Without it it is hard to diagnose this.

Stefan is away right now but I think that the following commit is
related to this issue. It is part of the just-released Genode 19.02:


Dr.-Ing. Norman Feske
Genode Labs ·

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