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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
