Hi Alexander,
On 11/22/2017 02:21 PM, Alexander Weidinger wrote:
> Hi Stefan,
>
> On 2017-07-24 15:17, Stefan Kalkowski wrote:
>> Hi Alexander,
>>
>> On 07/06/2017 03:10 PM, Alexander Weidinger wrote:
>>> Hello,
>>>
>>> I was finally able to get the RPi to boot completely by adding the
>>> follow
Hi Stefan,
On 2017-07-24 15:17, Stefan Kalkowski wrote:
> Hi Alexander,
>
> On 07/06/2017 03:10 PM, Alexander Weidinger wrote:
>> Hello,
>>
>> I was finally able to get the RPi to boot completely by adding the
>> following lines from foc r72:
>> https://github.com/skalk/foc/blob/r72/l4/pkg/bootst
Hi Alexander,
On 07/06/2017 03:10 PM, Alexander Weidinger wrote:
> Hello,
>
> I was finally able to get the RPi to boot completely by adding the
> following lines from foc r72:
> https://github.com/skalk/foc/blob/r72/l4/pkg/bootstrap/server/src/platform_common.cc#L47-L49
>
> What still seems odd
Hello,
I was finally able to get the RPi to boot completely by adding the
following lines from foc r72:
https://github.com/skalk/foc/blob/r72/l4/pkg/bootstrap/server/src/platform_common.cc#L47-L49
What still seems odd to me is, that when I'm using genode.img I can use
the kernel_addr_r address (0
Dear Genode community,
we are currently trying to get a Raspberry Pi 1 Model B running with
Genode 16.08 and Fiasco.OC r67 from https://github.com/skalk/foc/.
We made changes to both, genode and foc but the basis are the two
mentioned versions.
Trying to boot the RPi, we are left with the follow
