len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-07 05:34:59 -05:00
Code Issues Projects Releases Packages Wiki Activity

Add runtime check to see if the target even has a MPU

Browse source
This commit is contained in:
IsaacDynamo 2024-01-14 21:45:55 +01:00
parent c053ffeacc
commit 5e0c8f0281
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
portable/GCC/ARM_CM3_MPU/port.c
View file

@ -1102,6 +1102,12 @@ static void prvSetupMPU( void )
extern uint32_t __privileged_data_start__[];
extern uint32_t __privileged_data_end__[];
/* The only permitted number of regions are 8 or 16. */
configASSERT( ( configTOTAL_MPU_REGIONS == 8 ) || ( configTOTAL_MPU_REGIONS == 16 ) );
/* Ensure that the configTOTAL_MPU_REGIONS is configured correctly. */
configASSERT( portMPU_TYPE_REG == portEXPECTED_MPU_TYPE_VALUE );
/* Check the expected MPU is present. */
if( portMPU_TYPE_REG == portEXPECTED_MPU_TYPE_VALUE )
{