4 Nov
2015
4 Nov
'15
5:59 p.m.
On 4 Nov 2015, at 17:43 , Adrian Danis <Adrian.Danis@nicta.com.au<mailto:Adrian.Danis@nicta.com.au>> wrote: The kernel is indeed not reentrant and always runs with interrupts disabled whilst in the kernel. This lock is an old artifact from an experiment where seL4 was ran as a multikernel across multiple CPU nodes. a proper multicore implementation is on the roadmap and scheduled for release in the near future 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.