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?