I am probably a fool, but i cannot find from whre to download the FreeRTOS version that includes the MPU functionality!
The MPU port is only provided for the Cortex-M using GCC and is provided in the main FreeRTOS .zip file download. The port files are in /FreeRTOS/Source/portable/GCC/ARMCM3MPU directory and a couple of demos are provided in the FreeRTOS/Demo/CORTEXMPU* directories. Note the MPU port is not often used, so is not maintained as well as the rest of the code.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.