<div dir="ltr">Hi,<div><br></div><div>I am running Barrelfish on a 8 cores machine,</div><div>I would like to know the number of cores when barrelfish is up and running.</div><div><br></div><div>Is there a command in Barrelfish which shows the number of cores this OS is running and the list of its core_ids,</div><div><br></div><div>Thanks in advance</div><div>Vinay</div></div>