Running Genode on a Raspberry Pi 3

[Simon Himmelbauer]

Hi Stefan,

> My first suspicion would be that u-boot and Fiasco.OC are using
> different UART settings, e.g., the baudrate might be different. With
> which baudrate do you connect to the serial line? I would expect
> Fiasco.OC to use 115200.
>
> You could also try to find the place in Fiasco.OC/bootstrap where the
> UART gets configured, and comment out any hardware access there, to
> verify/falsify my idea. The UART is already configured properly by
> u-boot, so Fiasco.OC should be able to send characters successfully
> over serial line.
Thanks, I will try this once I have slightly more time. Noteworthy, the 
UART is indeed configured to 115200.

I have also tried to directly launch the image from the Pi to compare 
the output on a regular HDMI-screen. However, in this case, I receive no 
output at all after booting the image in uboot so I am not sure whether 
the source of the error is really the UART.

Best regards,
Simon

On 05.11.20 12:00, users-request at lists.genode.org wrote:
> Send users mailing list submissions to
> 	users at lists.genode.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	https://lists.genode.org/listinfo/users
> or, via email, send a message with subject or body 'help' to
> 	users-request at lists.genode.org
>
> You can reach the person managing the list at
> 	users-owner at lists.genode.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of users digest..."
>
>
> Today's Topics:
>
>     1. Re: Running Genode on a Raspberry Pi 3 (Stefan Kalkowski)
>     2. Re: partial free/split for ds (Christian Helmuth)
>     3. Re: partial free/split for ds (Alexander Tormasov)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Wed, 4 Nov 2020 13:10:40 +0100
> From: Stefan Kalkowski <stefan.kalkowski at genode-labs.com>
> To: Genode users mailing list <users at lists.genode.org>
> Subject: Re: Running Genode on a Raspberry Pi 3
> Message-ID: <20201104121040.43fbqvh3yju4mwp3 at genode-labs.com>
> Content-Type: text/plain; charset=utf-8
>
> Hello Simon,
>
> On Wed, Nov 04, 2020 at 11:54:01AM +0100, Simon Himmelbauer wrote:
>> Hi Genodians,
>>
>> I am trying to get a Genode image using the Fiasco.OC-kernel running on an
>> RPi 3. I created an arm_v8a build directory and accordingly set the KERNEL
>> and BOARD variable. I also compiled a u-boot image from the upstream
>> repository.
>>
>> When I attempt to boot the image from the u-boot prompt, I receive the
>> output below with no further reaction. I am still on Genode 19.05 because of
>> a few modifications so I unless there is no other solution, I would like to
>> avoid upgrading to a newer version.
>>
>> I also tried to run a few L4Re images provided here [0] with the same
>> result, so the problem might not even be specific to Genode.
>>
>> Does anyone else have experiences with running on an RPi 3? Is there
>> anything I am missing here?
> My first suspicion would be that u-boot and Fiasco.OC are using
> different UART settings, e.g., the baudrate might be different. With
> which baudrate do you connect to the serial line? I would expect
> Fiasco.OC to use 115200.
>
> You could also try to find the place in Fiasco.OC/bootstrap where the
> UART gets configured, and comment out any hardware access there, to
> verify/falsify my idea. The UART is already configured properly by
> u-boot, so Fiasco.OC should be able to send characters successfully
> over serial line.
>
> Regards
> Stefan
>
>> Best regards,
>>
>> Simon
>>
>> [0] https://l4re.org/download/snapshots/pre-built-images/arm64/
>>
>> U-Boot 2021.01-rc1-00243-g7a8ac9df5d (Nov 04 2020 - 01:56:08 +0100)
>>
>> DRAM:  948 MiB
>> RPI 3 Model B (0xa22082)
>> MMC:   mmc at 7e202000: 0, sdhci at 7e300000: 1
>> Loading Environment from FAT... *** Warning - bad CRC, using default
>> environment
>>
>> In:    serial
>> Out:   vidconsole
>> Err:   vidconsole
>> Net:   No ethernet found.
>> starting USB...
>> Bus usb at 7e980000: USB DWC2
>> scanning bus usb at 7e980000 for devices... 3 USB Device(s) found
>>         scanning usb for storage devices... 0 Storage Device(s) found
>> Hit any key to stop autoboot:  0
>> U-Boot> fatload mmc 0 $loadaddr image.elf
>> 3208480 bytes read in 137 ms (22.3 MiB/s)
>> U-Boot> bootelf
>> ## Starting application at 0x01000000 ^��Z��%��XE��TmyAEDMe�@�*`)5��R[qP���
>> �����?�RQ@���VRY��5�    �R      A!��y=AA!y5YE)�}AG at A�Ţ�A����ӉR
>>
>>
>> _______________________________________________
>> Genode users mailing list
>> users at lists.genode.org
>> https://lists.genode.org/listinfo/users