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

Thanks,

Tom