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 <siwei.zhuang@nicta.com.au> wrote:
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.