[Barrelfish-users] number of cores in Barrelfish

Vinay Kumar ms.vinay.k at gmail.com
Mon Mar 23 07:52:20 CET 2015


I am running Barrelfish on a 8 cores machine,
I would like to know the number of cores when barrelfish is up and running.

Is there a command in Barrelfish which shows the number of cores this OS is
running and the list of its core_ids,

Thanks in advance
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20150323/7c2eec6a/attachment.html 

More information about the Barrelfish-users mailing list