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 <tim.newsham@gmail.com> 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 <julien.delange@gmail.com> 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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel




--