[Barrelfish-users] number of cores in Barrelfish

[Vinay Kumar]

Hi,

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
Vinay
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20150323/7c2eec6a/attachment.html