I have seen that - they are also included and compiled into the .a static libraries. For a reason I do not understand, this is not get linked with my code - that is why I asked.
On Wed, Feb 17, 2016 at 12:02 PM, Tim Newsham <[email protected]> wrote: > Those functions exist in libplatsupport/src/plat/am335x/dm.c in > some source trees I have. (I don't have any experience with > camkes and never tried to build it for am335x...) > > On Wed, Feb 17, 2016 at 6:23 AM, Julien Delange <[email protected]> > wrote: > >> I am trying to develop a camkes application with one component having >> access to the timer. I got some inspiration from the time server for the >> kzm machine. Now, I am trying to port that to the am335x machine to execute >> on a beagleboard black. >> >> I dig into the code and found the appropriate platform-specific functions >> to call. Unfortunately, when trying to compile, it fails (see below). >> >> Anybody has an idea why this happens? >> >> Also, if you want to look at the camkes application, I put it on github >> at >> https://github.com/juli1/sel4-experiments/tree/master/camkes/pingimpl-am335x >> >> Thanks for any help! >> >> >> /home/sel4/test/camkes/build/arm/am335x/pingimpl/src/timer/static/components/timer/src/timer.o: >> In function `irq_callback': >> /home/sel4/test/camkes/apps/pingimpl/components/timer/src/timer.c:22: >> undefined reference to `dm_handle_irq' >> /home/sel4/test/camkes/apps/pingimpl/components/timer/src/timer.c:32: >> undefined reference to `dm_oneshot_relative' >> /home/sel4/test/camkes/build/arm/am335x/pingimpl/src/timer/static/components/timer/src/timer.o: >> In function `run': >> /home/sel4/test/camkes/apps/pingimpl/components/timer/src/timer.c:58: >> undefined reference to `dm_oneshot_relative' >> collect2: error: ld returned 1 exit status >> >> >> _______________________________________________ >> Devel mailing list >> [email protected] >> https://sel4.systems/lists/listinfo/devel >> >> > > > -- > Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | > thenewsh.blogspot.com >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
