Question for kernel space isolation support

Hi, All

Does ArduCopter support this protection method?
Nuttx and Cortex-M4 basically seems to support such protection mechnism.
However, I am not sure whether it is actually applied to ArdupCopter.

Is there some idea?