Dear Adrian, Regarding the sel4 multi kernel experience, I have read the paper from Michael von Testing "The clustered multikernel..", is the multi kernel code available somewhere ? Best Regards Mehdi
On Wed, Nov 4, 2015, 10:59 Gernot Heiser <[email protected]> wrote: > On 4 Nov 2015, at 17:43 , Adrian Danis <[email protected]> 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. > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
