diff --git a/arch/arm/src/mps/mps_allocateheap.c b/arch/arm/src/mps/mps_allocateheap.c index a92bd2a7854..4dd5bc21242 100644 --- a/arch/arm/src/mps/mps_allocateheap.c +++ b/arch/arm/src/mps/mps_allocateheap.c @@ -218,6 +218,7 @@ void up_allocate_kheap(void **heap_start, size_t *heap_size) CONFIG_MM_KERNEL_HEAPSIZE; size_t usize = PRIMARY_RAM_END - ubase; uint8_t log2; + DEBUGASSERT(ubase < PRIMARY_RAM_END); /* Adjust that size to account for MPU alignment requirements.