Dear Anna, Thank you very much for quick reply.
I was curious specifically about seL4. eChronos, in my view is much different - it doesn't have the concept of Capabilities or temporal partitioning. These 2 features make seL4 extremely attractive for safety critical applications. This is why I was interested if Cortex-R was in the roadmap. Anyway, you message does answer my question, thank you! Piotr > 10/07/2018 03:21 [email protected]: > > > Hi Piotr, > > For platforms without MMUs, take a look at eChronos[1], which is a small RTOS > that does support MPUs. seL4 only targest systems with MMUs. > > Thanks > Anna. > > [1] https://ts.data61.csiro.au/projects/TS/echronos/ > ________________________________________ > From: Devel <[email protected]> on behalf of [email protected] > <[email protected]> > Sent: Monday, 9 July 2018 5:17 PM > To: [email protected] > Subject: [seL4] Future plans w.r.t. Cortex-R > > Dear seL4 Maintainers, > > Could you please share what are your future support plans w.r.t. ARM Cortex-R > family - the 'reliable' and 'real-time' side of ARM portfolio? > > Cortex-R implementations include interesting safety features i.a. lockstep > processing. It feels like a good match for seL4 safety-oriented philosophy. > However, Cortex-R processors have MPU instead of MMU, which seems to be ruling > them out for now. Are there any plans to have an seL4 'MPU' branch in order to > support these kind of processors? > > Thank you in advance, > Piotr Skrzypek > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
