[Barrelfish-users] number of cores in Barrelfish

Simon Gerber simon.gerber at inf.ethz.ch
Mon Mar 23 08:30:30 CET 2015

Hi Vinay,

You should be able to run "corectrl lscpu" to see the state of each core in the system.

-- Simon

On 23.03.2015 07:52, Vinay Kumar wrote:
> 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
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

More information about the Barrelfish-users mailing list