Genode over RPI

Johannes Schlatow schlatow at
Tue Oct 30 14:03:13 CET 2018


the versioning of the Raspberry Pis is very confusing in my opinion. I always get confused with RPi generations (1, 2, 3) and models (A,B,B+) as they appear to exist in every possible combination. You should first make sure that you are really using the same boards or what the difference between the two boards is.

By the way, the ELPIDA "SoC" is actually the SDRAM. Do you have more information or can you boot Linux to identify what hardware you're facing?


On Tue, 30 Oct 2018 13:14:24 +0100
Moh <mhh.it1986 at> wrote:

> Hi Genode,
> it has been long time since i played with Genode.
> In the past, I was able to run Genode over a RPI  Model B+ V1.2.
> nowadays, I am trying to run the same code, so i got another  RPI
> with the same version (i.e. Model B+ V1.2 ) but Genode was not able
> to boot. ACT light keeps  lighting on.
> The PI which is working has a SOC  SAMSUNG 431   K4P4G324EG- RGC2
> while the other RPI has ELPIDA b4432bbPA-10-F.
> What i should change to get it work in the second RPI.
> best,

More information about the users mailing list