SMP support for base-hw kernel

Franc sylvester sylvaster.franc at ...9...
Sat Dec 13 14:45:40 CET 2014


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>


More information about the users mailing list