L4RTEMS_TIMER is working