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 <[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
