github615

When I run Makefile for the examples arinc653-blackboard and arinc653-buffer, I get below messages: /usr/local/src/pok/libpok/libpok.a(core.lo): In function `pok_event_wait': /usr/local/src/pok/libpok/core/eventwait.c:32: undefined reference to `pok_time_gettick' /usr/local/src/pok/libpok/libpok.a(arinc653.lo): In function `TIMED_WAIT': /usr/local/src/pok/libpok/arinc653/time.c:33: undefined reference...