Tock is another example of a microconroller OS that leverages MMU hardware:
"Tock is a secure, concurrent embedded operating system designed for ARM Cortex-M and RISC-V microcontrollers, prioritizing isolation between the kernel, device drivers...
PJRC decided to skip RT1170 and focus on NXP's next generation.
I can't talk about anything I might know of NXP's future products which isn't yet published on their public website. PJRC does have a NDA with NXP, which is how we got an early...