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