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
- [seL4] how to detect the number of CPUs in the system ??????
- Re: [seL4] how to detect the number of CPUs in the s... Raymond Jennings
- Re: [seL4] how to detect the number of CPUs in t... Gernot Heiser
