1pico_simple_hardware_target(timer)
2
3target_compile_definitions(hardware_timer_headers INTERFACE
4    PICO_HARDWARE_TIMER_RESOLUTION_US=1000 # to loosen tests a little
5)
6
7if (NOT DEFINED PICO_TIME_NO_ALARM_SUPPORT)
8    # we don't have alarm pools in the basic host support, though pico_host_sdl adds it
9    set(PICO_TIME_NO_ALARM_SUPPORT "1" CACHE INTERNAL "")
10endif()
11
12if (PICO_TIME_NO_ALARM_SUPPORT)
13    target_compile_definitions(hardware_timer INTERFACE
14            PICO_TIME_DEFAULT_ALARM_POOL_DISABLED=1
15    )
16endif()