On 1 Sep 2015, at 22:38 , Raymond Jennings <[email protected]<mailto:[email protected]>> 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.pml 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
