[Barrelfish-users] number of cores in Barrelfish

[Simon Gerber]

Hi Vinay,

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

Best,
-- 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
>