Example app_timer hardware models arduino_uno: Implements a hardware model that uses TIMER1 interrupts on an arduino UNO polling: Implements a hardware model that polls a monotonic counter, for Windows, Linux or Arduino systems