LCOM1920-T5G03

#include <stdbool.h>

#include <stdint.h>

int main(int argc, char *argv[]) {

  // sets the language of LCF messages (can be either EN-US or PT-PT)

int(timer_test_int)(uint8_t time) {

    int ipc_status, r;

    message msg;

    uint8_t irq_set = 1;

    uint8_t hook = 0;

    int freq = 60; // better way to get the frequency of the timer????

    timer_subscribe_int(&hook);

        /* Get a request message. */

        if ((r = driver_receive(ANY, &msg, &ipc_status)) != 0) {

            printf("driver_receive failed with %d", r);

        } else { /* received standart message, not a notification */

            /* no standart message expected: do nothing */

        }

            timer_print_elapsed_time();

    }

    timer_unsubscribe_int();