<div dir="ltr"><div><div>Hi Gerd,<br><br>thank you very much! That worked! <br><br></div>I am now basically setting cores_on_boot variable in usr/kaluga/start_cpu.c:watch_for_cores(void) function to the number of cores I want.<br><br></div>bests,<br>Antonio<br><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 26, 2014 at 5:07 AM, Gerd Zellweger <span dir="ltr"><<a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.ethz.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Antonio,<br>
<br>
If you are running Kaluga it will automatically listen for new core events from ACPI and start the cores accordingly.<br>
<br>
Have a look at<br>
<a href="http://git.barrelfish.org/?p=barrelfish;a=blob_plain;f=usr/kaluga/start_cpu.c;hb=HEAD" target="_blank">http://git.barrelfish.org/?p=<u></u>barrelfish;a=blob_plain;f=usr/<u></u>kaluga/start_cpu.c;hb=HEAD</a><br>
if you want to tune the behaviour or suppress cores being booted.<br>
<br>
If you want to directly modify the core discovery in ACPI, it is done here (line 182ff):<br>
<a href="http://git.barrelfish.org/?p=barrelfish;a=blob;f=usr/acpi/interrupts.c;h=87a1dbc95340485c11db3ebb63e6d407c5f57dcc;hb=HEAD" target="_blank">http://git.barrelfish.org/?p=<u></u>barrelfish;a=blob;f=usr/acpi/<u></u>interrupts.c;h=<u></u>87a1dbc95340485c11db3ebb63e6d4<u></u>07c5f57dcc;hb=HEAD</a><br>
<br>
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.<br>
<br>
Hope this helps,<br>
Gerd<div><div class="h5"><br>
<br>
On 2014-11-26 00:44, Antonio Barbalace wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
Dear all,<br>
<br>
I am trying to boot Barrelfish on a reduced number of cores.<br>
<br>
The following line in the menu.lst does not have any effect:<br>
module /barrelfish/x86_64/sbin/spawnd boot bootapic-x86_64=1-8<br>
<br>
I also try to manually modify different source files but without any<br>
luck.<br>
For example I modified the macro MAX_COREID but it was giving a<br>
compiler error,<br>
I also modified usr/spawnd/bsp_bootup.c in different ways, again<br>
nothing.<br>
<br>
any suggestion is very welcome!<br>
thanks,<br>
Antonio<br>
<br>
--<br>
<br>
Dr. Eng. Antonio Barbalace, PhD<br>
Systems Software Research Group (SSRG)<br>
Bradley Department of Electrical and Computer Engineering<br>
Virginia Tech<br>
453 Durham Hall (0111)<br>
Blacksburg, VA 24061<br></div></div>
phone: +1 (540) 231-2494 [1]<br>
email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a><br>
<br>
Links:<br>
------<br>
[1] tel:%2B1%20%28540%29%20231-<u></u>2494<br>
<br>
______________________________<u></u>_________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a><br>
</blockquote>
</blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Dr. Eng. Antonio Barbalace, PhD<br>Systems Software Research Group (SSRG)<br>Bradley Department of Electrical and Computer Engineering<br>Virginia Tech<br>453 Durham Hall (0111)<br>Blacksburg, VA 24061<br>phone: +1 (540) 231-2494<br>email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a></div>
</div>