Re: [seL4] Cortex-M port?

On 18 Jul 2016, at 18:22 , Stefan Wallentowitz wrote:

Hi,

I was wondering if anyone ever started a port to a v7-M platform?

No, and it’s unlikely it’ll ever happen. It just doesn’t make sense. From the OS design PoV, seL4’s chief characteristic is its resource management model, which is inherently based on virtual memory. Trying to shoe-horn it into an MPU-only processor would result in something that isn’t seL4 in any reasonable sense. The right way to deal an MPU is to leverage it in eChronos, which is also undergoing formal verification (https://trustworthy.systems/echronos/). 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.