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 <[email protected]> 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 > #[email protected] > #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. >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
