memory allocations problems on kernel sel4

[Pirmin Duss]

Hello


I have found a solution, that works fro me.

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

Best regards,
Pirmin

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20190220/0368f875/attachment.sig>