[genode] base-hw: SMP support on I.MX6

Stefan Kalkowski stefan.kalkowski at ...1...
Fri Oct 2 14:34:30 CEST 2015

Hi Le Guan,

can you provide the changes you did, so we are able to reproduce it?

I know there are still issues with SMP on Cortex A9 in our current
implementation. They are targeted by the work of Martin Stein on issue
#1312 in our issue tracker:


However, the provided solution only uses the Pandaboard, and is not yet
ready for our master branch. But given your knowledge regarding the
scratch register used to provide the entrypoints to the additional cpu
cores, we could test it with the Wandboard.


On 09/30/2015 12:07 AM, Le Guan wrote:
> Hello everyone,
> I wonder if the current release supports SMP in base-hw. I read from the
> genode book that base-hw has well supported SMP long time ago. But the
> default configure in wandBoard sets NR_OF_CPUS to 1. When I change that
> value to 4 and implement several auxiliary SMP functions and run the
> program, there seems to be some error happen. Below is the output:
> core 0 enabled
> kernel initialized
> core 1 enabled
> core 2 enabled
> core 3 enabled
> Genode 15.08-25-g5cf8c49 <local changes>
> int main(): --- create local services ---
> int main(): --- start init ---
> The booting is stuck here. I have implemented the corresponding
> Cpu::start_secondary_cpus,  Cpu::primary_id() and Cpu::executing_id(). What
> else should I implement to boot SMP?
> Thanks in advance!
> Best regards,
> Le Guan
> ------------------------------------------------------------------------------
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ ยท http://genode.org/

More information about the users mailing list