[Barrelfish-users] set the number of cores

[Antonio Barbalace]

Dear all,

I am trying to boot Barrelfish on a reduced number of cores.

The following line in the menu.lst does not have any effect:
module  /barrelfish/x86_64/sbin/spawnd boot bootapic-x86_64=1-8

I also try to manually modify different source files but without any luck.
For example I modified the macro MAX_COREID but it was giving a compiler
error,
I also modified usr/spawnd/bsp_bootup.c in different ways, again nothing.

any suggestion is very welcome!
thanks,
Antonio

-- 
Dr. Eng. Antonio Barbalace, PhD
Systems Software Research Group (SSRG)
Bradley Department of Electrical and Computer Engineering
Virginia Tech
453 Durham Hall (0111)
Blacksburg, VA 24061
phone: +1 (540) 231-2494
email: antoniob at vt.edu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20141125/8e466203/attachment.html