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
I wanted to know how I can have access to MCS kernel that is compatible
with camkes project.