20 Feb
2019
20 Feb
'19
1:24 p.m.
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