HI, I have question about IPC on SMP. I ran sel4bench on sabre lite(i.mx6, arm v7) which SMP is on.
Sabre lite has 4 cores.
I supposed that SMP improved IPC performances.
But results were not.
seL4_CALL
SMP on 504
SMP off 336
Would you give me reason why these results are happened?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
