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.commailto: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.
-
Gernot Heiser -
Raymond Jennings -
杰尔米