Re: [seL4] Timer for AM335x

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

-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com