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: https://github.com/genodelabs/genode/commit/2cf4e5a6de176bc0c9fe6da46f06193a76c1d9cc Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users