diff --git a/platform/mbed_mpu_mgmt.c b/platform/mbed_mpu_mgmt.c
index 777a5d944b..7a067a4281 100644
--- a/platform/mbed_mpu_mgmt.c
+++ b/platform/mbed_mpu_mgmt.c
@@ -17,6 +17,7 @@
 #include "platform/mbed_mpu_mgmt.h"
 #include "platform/mbed_critical.h"
 #include "platform/mbed_error.h"
+#include "platform/mbed_assert.h"
 #include "hal/mpu_api.h"
 #include <limits.h>