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