Code

Copy-paste the following code to your user application:

while (events_is_busy(&example_event)) {
    /* Wait for channel */
};

tc_start_counter(&tc_instance);

while (true) {
    /* Nothing to do */
}