Hi Ali,
- 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