memory allocations problems on kernel sel4

Pirmin Duss pirmin.duss at
Wed Feb 20 14:24:21 CET 2019


I have found a solution, that works fro me.

In repos/base-sel4/src/core/spec/arm/ the value for MAX_PROCESS_COUNT was 32. I have increased it and now my
scenario works.

Best regards,

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the users mailing list