Problem example example-pmp

Hello,

I tried the pmp example proposed by the FreedomStudio software. But the program stops at this moment :

pmp = metal_pmp_get_device();
if(!pmp) {
printf(“Unable to get PMP Device %d\n”, pmp);
return 4;
}
*
I use the board digilent arty a7 100T with the CPU proposed by HexFive Multizone X300.
I don’t understand.