how to detect the number of CPUs in the system
Hi all, i want to get the number of CPUs in the system and how many cores in one CPU. how to do that? Thanks! Jeremy Li
Actually that reminds me of a more general question.
How well is seL4 getting to supporting multiple core access in the
microkernel?
On Tue, Sep 1, 2015 at 2:41 AM, 杰尔米
Hi all,
i want to get the number of CPUs in the system and how many cores in one CPU. how to do that?
Thanks!
Jeremy Li
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
On 1 Sep 2015, at 22:38 , Raymond Jennings
participants (3)
-
Gernot Heiser -
Raymond Jennings -
杰尔米