Re: [seL4] seL4 IPC and SMP question.

On 31 Oct 2018, at 21:13, 송대영 mailto:scribnote5@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) in average-case latency. No, you cannot change the scheduler configuration (other than by hacking the source and voiding all verification). But there’s no need. I’ll leave others to address the other questions. Gernot