Running Genode on a Raspberry Pi 3

Christian Prochaska christian.prochaska at genode-labs.com
Tue Nov 10 21:58:26 CET 2020


Hi Simon,

On 10.11.20 21:12, Simon Himmelbauer wrote:
> config.txt:
>
> enable_uart=1
> arm_64bit=1
> init_uart_baud=115200
> kernel=u-boot.bin
>

does it work with the following line?

init_uart_clock=3000000

I remembered it being mentioned on the mailing list in the past with regard to serial output issues.

Christian




More information about the users mailing list