arks aren't written for multicore, and our SMP IPC path is not heavily
optimised for the sake of simplicity in our initial multicore verification
project.
Thanks,
Anna.
________________
From: Devel on behalf of 송대영
Sent: Wednesday, 31 October 2018 9:13 PM
To: devel@
On 31 Oct 2018, at 21:13, 송대영
mailto:scribno...@gmail.com>> wrote:
1. I want to confirm performance difference between Lazy Scheduling and Beno
Scheduling. Can I configure scheduler?
there is a vastly improved worst-case latency with Benno scheduling. There
shouldn’t be much difference (if any
HI, I have a question about IPC and SMP.
I ran sel4bench on sabre lite(i.mx6, arm v7).
1. I want to confirm performance difference between Lazy Scheduling and
Beno Scheduling. Can I configure scheduler?
2. Can you explain the difference when thread state is
"ThreadState_Running" and "ThreadState