/* Copyright 2013, Kenneth MacKay. Licensed under the BSD 2-clause license. */ #if TARGET_LPC11XX #include "peripherals/uart.h" #include "peripherals/time.h" #else #include #include #define uartInit(rate) #define initTime() uint64_t getTimeMs(void) { struct timeval l_now; gettimeofday(&l_now, NULL); uint64_t l_time = ((uint64_t)(l_now.tv_sec)) * 1000 + l_now.tv_usec / 1000; return l_time; } #endif #include "ecc.h" #include void vli_print(uint32_t *p_vli) { unsigned i; for(i=0; i