[seL4] mpu vs mmu

[Thomas Dundon]

Does an MPU, e.g. on a Cortex M3, provide enough functionality to support
seL4?

Thanks,
Tom

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel