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.
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.
Thanks for the quick reply. It seems that the timer is only for the ARM
architecture. Looking at the config/ directory, it looks there is only a
config for an ARM platform (arm_hello-camkes-timer_defconfig). Is there an
example for the i386 architecture?
Thanks!
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.
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.
participants (2)
-
Julien Delange -
Siwei Zhuang