[Barrelfish-users] number of cores in Barrelfish
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...
More information about the Barrelfish-users