Alexander Weidinger
2017-07-05 16:09:22 UTC
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 following message, the
leads to the same behavior.)
We were successful in running our setup (foc r67 and genode 16.08 both
with our changes) on a pandaboard (real hardware) and on pbxa9 (qemu).
Additionally we are able to successfully boot the RPi using vanilla
genode 16.08 with the provided foc version (r56), using our u-boot
configuration.
Do we need to make additional changes to foc and/or genode to be able to
boot the RPi using r67 of foc?
Any hints or information are very welcomed!
Regards,
Alexander
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 following message, the
...
reading genode.img
2060288 bytes read in 331 ms (5.9 MiB/s)
Starting k
L4 Bootstrapper
Build: #5 Wed Jul 5 17:34:36 CEST 2017, 4.9.2
Scanning up to 512 MB RAM, starting at offset 32MB
U-Boot 2014.07-rc3-gd4614d4 (Jun 14 2014 - 01:23:23)
...
(Trying to boot vanilla genode 16.08 with vanilla foc r67 (from skalk)reading genode.img
2060288 bytes read in 331 ms (5.9 MiB/s)
Starting k
L4 Bootstrapper
Build: #5 Wed Jul 5 17:34:36 CEST 2017, 4.9.2
Scanning up to 512 MB RAM, starting at offset 32MB
U-Boot 2014.07-rc3-gd4614d4 (Jun 14 2014 - 01:23:23)
...
leads to the same behavior.)
We were successful in running our setup (foc r67 and genode 16.08 both
with our changes) on a pandaboard (real hardware) and on pbxa9 (qemu).
Additionally we are able to successfully boot the RPi using vanilla
genode 16.08 with the provided foc version (r56), using our u-boot
configuration.
Do we need to make additional changes to foc and/or genode to be able to
boot the RPi using r67 of foc?
Any hints or information are very welcomed!
Regards,
Alexander