Oops, also, when trying to build the ARM example, the compilation fails
with an error (see below).
[libs/libsel4] building...
make[1]: *** No rule to make target
'/tmp/camkes-tutorials/libs/libsel4/sel4_arch_include//interfaces/sel4arch.xml',
needed by 'include/interfaces/sel4_client.h'. Stop.
tools/common/project.mk:286: recipe for target 'libsel4' failed
make: *** [libsel4] Error 2
On Tue, Feb 16, 2016 at 1:01 AM, Siwei Zhuang
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.