SMP support for base-hw kernel

Martin Stein martin.stein at ...1...
Sat Dec 13 19:29:23 CET 2014

Hi Franc,

By now there is SMP support for the Arndale board only and we're working
on SMP for Cortex-A9 MPCores currently. When SMP is supported for a
board, secondary CPUs get activated by default but with only an idle
thread in their scheduler. You can decide wether to use secondary CPUs
by creating threads with appropriate affinity (see
base/src/test/affinity/ for an example) or to make use only of
the primary CPU (which should normally be the case if you don't specify
any affinities).

The PROCESSORS-value in the kernel isn't intended to be used for system
configuration. It tells the kernel how much CPUs to initialize as
mentioned above and how much CPUs to be aware of when maintaining things
like caches and TLBs. Indeed this could be utilized for optimization but
in general it shouldn't make a big difference. Furthermore, we do not
test the HW-platform with PROCESSORS-values other than in the public


On 13.12.2014 14:45, Franc sylvester wrote:
> Hi
> Is there SMP support in base-hw kernel? If so, how can we turn it off
> or on?
> Can modifying PROCESSORS variable in make file of base-hw/mk/ help us
> configure SMP?
> Thanks in Advance
> Regards
> Franc
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
> _______________________________________________
> genode-main mailing list
> genode-main at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list