Re: [seL4] Future plans w.r.t. Cortex-R

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 Anna.Lyons@data61.csiro.au:

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 on behalf of piotr@skrzypek.eu Sent: Monday, 9 July 2018 5:17 PM To: devel@sel4.systems 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel