Hi Julien, We do have a tutorial which shows how to build a timer driver in CAmkES environment. Check this manifest out, https://github.com/seL4-projects/sel4-tutorials-manifest You can find the CAmkES timer tutorial at "apps/hello-camkes-timer". Note that this CAmkES application uses the timer driver provided by libplatsupport. You can find the actual driver implementation at, https://github.com/seL4/libplatsupport This library has all the drivers we have implemented for different platforms. Cheers, Siwei On Mon, Feb 15, 2016 at 02:20:01PM -0500, Julien Delange wrote: #Dear all, # #I would like to build a scheduler on top of camkes. I figure that I have to get #access to the timer irq and start from there (e.g. then, dispatch other tasks #according to the number of elapsed ticks). # #I did find some relevant examples, especially in the camkes-vm (https:// #github.com/seL4/camkes-vm) but nothing I can try. Is there any information #about such materials? I tried to reuse the component but always got build #error. I was wondering if there was an existing tutorial or an example I could #try that will help me. # #Thanks. # #Julien. # #_______________________________________________ #Devel mailing list #Devel@sel4.systems #https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.