SMP support for base-hw kernel

[Franc sylvester]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20141213/ea954599/attachment.html>