From: Devel <email@example.com> on behalf of Isaac Beckett <firstname.lastname@example.org>
Sent: Wednesday, February 5, 2020 15:15
To: email@example.com <firstname.lastname@example.org>
Subject: [seL4] Question about MCS branch
I have a bit of a noobish question, why are timing/scheduling abilities being added to the kernel? I understand that userland still controls scheduling, regardless of which branch is being used, but I'm confused as to wby scheduling features
needed to be added to the kernel itself.