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 on behalf of Parvaneh Ahgajani
Sent: Tuesday, 2 June 2020 1:55 AM
To: 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
