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,