<div dir="ltr"><div><div><div><div><div>Dear all,<br><br></div>I am trying to boot Barrelfish on a reduced number of cores.<br><br></div>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></div>I also try to manually modify different source files but without any luck.<br></div>For example I modified the macro MAX_COREID but it was giving a compiler error,<br>I also modified usr/spawnd/bsp_bootup.c in different ways, again nothing.<br><br></div>any suggestion is very welcome!<br>thanks,<br>Antonio<br clear="all"><div><div><div><div><div><div><div><br>-- <br><div>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: <a href="tel:%2B1%20%28540%29%20231-2494" value="+15402312494" target="_blank">+1 (540) 231-2494</a><br>email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a></div>
</div></div></div></div></div></div></div></div>