Hi Genodians,
I just wanted to give a quick update regarding my issue with the random
output on the serial line when running a Genode image from uboot on a
Raspberry Pi 3.
The issue was somehow caused by the Raspberry firmware. Downgrading to
commit 204245361ea, which is the same version Tom
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=300
I remembered it being mentioned on the mailing list in the past with regard to
serial output iss
Thanks for your quick reply!
Earlier you wrote that you're still on 19.05. Few days after this
release Stefan made a commit 811410fdbb3fb9c41ef97ee480b2fe1678341a81
'foc: update to current github version (fix #3402)'
My advise for you would be to try current version or better 20.08 which
I spec
Simon Himmelbauer writes:
> sorry, I should have clarified my approach in more detail. With
> "directly launching", I meant that I simply connected a regular
> keyboard and HDMI-display so that I don't have to deal with the
> UART. u-boot successfully launches but booting the image results in
> t
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=300
I remembered it being mentioned on the mailing list in the past with regard to
serial
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=300
I remembered it being mentioned on the mailing list in the past with regard to
serial
Simon Himmelbauer writes:
> I actually used your guide to setup Genode on a Raspberry so before I
> continue, I wanted to thank you for this article.
It's really great to hear it is useful.
> Anyway, I don't understand what I am doing wrong here. I followed your
> guide step-by-step with the ex
Hi Stefan,
I do not understand what you mean with: "directly launch the image from
the Pi". What did you do in contrast to reading the image from sd-card?
I wouldn't wonder if the HDMI output keeps blank when booting some
scenario. Or is the image you try to boot known to work interactively
wit
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 pr
Simon Himmelbauer writes:
> 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 att
@lists.genode.org
> >
> > You can reach the person managing the list at
> > users-ow...@lists.genode.org
> >
> > When replying, please edit your Subject line so it is more specific
> > than "Re: Cont
00
From: Stefan Kalkowski
To: Genode users mailing list
Subject: Re: Running Genode on a Raspberry Pi 3
Message-ID: <20201104121040.43fbqvh3yju4m...@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 G
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-boo
13 matches
Mail list logo
