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 <devel-bounces@sel4.systems> on behalf of piotr@skrzypek.eu <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