[DOC]Confusion Between ARM_CM4F and ARM_CM4_MPU Ports for FPU and MPU Support in FreeRTOS

[linhongz]

Describe the issue
In the FreeRTOS portable/RVDS/ directory, there are two ports:

ARM_CM4F for Cortex-M4F with FPU support.
ARM_CM4_MPU for Cortex-M4 with MPU support.
Which port should I use if I need both FPU and MPU on Cortex-M4F? Should I combine both, or is there a single port for this configuration?

Expected Behavior
Clarification on whether both features (FPU and MPU) are supported simultaneously on Cortex-M4F and which port to use.

Additional Information
FreeRTOS version: V11.1.0
Processor: ARM Cortex-M4F

[aggarg]

Which port should I use if I need both FPU and MPU on Cortex-M4F?

ARM_CM4_MPU has both MPU and FPU support - https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/portable/RVDS/ARM_CM4_MPU/port.c#L1229.