Hi Parvaneh, 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 working? You can check the kernel is MCS in the build directory by running: `ccmake .` and searching for the KernelIsMCS flag. Regards, Oliver ________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of Parvaneh Ahgajani <aghajani.parvaneh@gmail.com> Sent: Tuesday, 2 June 2020 1:55 AM To: devel@sel4.systems <devel@sel4.systems> Subject: [seL4] mcs kernel compatible with camkes project Hello all, I wanted to use camkes to create real-time application. In periodic application, it mentioned that "_period" and "_budget" only have affect on the MCS kernel. I tried to build application with kernel version 11.0.0-dev but it doesn't work. I wanted to know how I can have access to MCS kernel that is compatible with camkes project. Thank you, Parvaneh Aghajani. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel