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, 杰尔米 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
