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, 杰尔米 <emerald0106@qq.com> wrote:
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 <shentino@gmail.com<mailto:shentino@gmail.com>> wrote: Actually that reminds me of a more general question. How well is seL4 getting to supporting multiple core access in the microkernel? https://ssrg.nicta.com.au/publications/nictaabstracts/Peters_DEH_15.abstract... Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
participants (3)
-
Gernot Heiser -
Raymond Jennings -
杰尔米