[Barrelfish-users] set the number of cores
gerd.zellweger at inf.ethz.ch
Wed Nov 26 11:07:41 CET 2014
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
> 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
> any suggestion is very welcome!
> 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
>  tel:%2B1%20%28540%29%20231-2494
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users