[okl4-developer] vtimer source file?

[Ryan Heffernan]

Hello,

I am trying to build L4/iguana with an added library that makes use of
the timer, however due to my machine I have to use a virtual timer. When
I try to use functions from the vtimer/timer.h file the linker gives me
an 'undefined reference error (ie.  91: undefined reference to
`timer_create'). When I checked the source tree I noticed that there is
nothing under the vtimer/src directory (I was expecting a timer.c).
Should there be a file here or is there an alternate way to use these
functions?

Thanks,
Ryan