Re: [seL4] how to detect the number of CPUs in the system

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