[Barrelfish-users] set the number of cores

Gerd Zellweger gerd.zellweger at inf.ethz.ch
Wed Nov 26 11:07:41 CET 2014

Hi Antonio,

If you are running Kaluga it will automatically listen for new core 
events from ACPI and start the cores accordingly.

Have a look at
if you want to tune the behaviour or suppress cores being booted.

If you want to directly modify the core discovery in ACPI, it is done 
here (line 182ff):

Also note that we will shortly release a new core management 
infrastructure based on our work for OSDI this year that will make core 
management much simpler.

Hope this helps,

On 2014-11-26 00:44, Antonio Barbalace wrote:
> 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 [1]
> email: antoniob at vt.edu
> Links:
> ------
> [1] tel:%2B1%20%28540%29%20231-2494
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

More information about the Barrelfish-users mailing list