Running Genode on a Raspberry Pi 3

[Simon Himmelbauer]

> 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

Hi Christian,

yeah, I have tried to add this line as well but it didn't make any 
difference. I followed Tomasz suggestion and set up a Genode 20.08 
environment. I used the provided "hello_tutorial" as a test image and 
unfortunately, I still receive garbage output on the uart, even when 
changing the Fiasco.OC kernel to the Genode ("hw") kernel.

Is there anything else I can try? My next idea would be to compile some 
older version of u-boot in order to see whether this fixes my problem. 
Other than that, I don't really know where to look at anymore.

Best regards,
Simon

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20201113/55c7a91f/attachment.html>