Hi. We are using the TI Hercules RM48L952ZWT Board. For MUP support, I can see the tab in Hercules for R4-MPU-PMU, and it is by default enabled under general configuration as well as regions 1 through 10. If we are using the Micrium uC-OSII on this platform which is not MPU aware, does that mean we must disable MPU in HalCoGen? Or is there a way to still enjoy the benefits at the driver level even if the RTOS has not been ported for MPU support. Thank you.