Genode + panda es (rev-b2),

[Martin Stein]

Hi Ali,

> 4. While probably not related to genode, does anyone know how I can
> get the reset button on the pandaboard to work properly? Right now it
> looks like it resets the board, but U-boot does not come back up
> again. I'm currently using the precompiled version from your
> repository.

On my PandaBoard A2 the reset doesn't work fine too. I always have to
trigger the reset button twice to get U-Boot restarted. The first
attempt might restart the board but i get no feedback from U-Boot at the
UART.

Greets,
Martin