The app examples `mcs-donate` and `periodic` should both work with the MCS kernel. Can you
explain what you have tried to do and show me some output of how your system is not
You can check the kernel is MCS in the build directory by running: `ccmake .`
and searching for the KernelIsMCS flag.
From: Devel <devel-bounces(a)sel4.systems> on behalf of Parvaneh Ahgajani
Sent: Tuesday, 2 June 2020 1:55 AM
To: devel(a)sel4.systems <devel(a)sel4.systems>
Subject: [seL4] mcs kernel compatible with camkes project
I wanted to use camkes to create real-time application.
In periodic application, it mentioned that "_period" and "_budget"
have affect on the MCS kernel.
I tried to build application with kernel version 11.0.0-dev but it doesn't
I wanted to know how I can have access to MCS kernel that is compatible
with camkes project.
Devel mailing list