tests:
  kernel.timer.monotonic:
    tags:
      - kernel
      - timer
  kernel.timer.monotonic.apic.tsc:
    tags:
      - kernel
      - timer
      - apic_tsc
    platform_allow: intel_ehl_crb
    extra_configs:
      - CONFIG_APIC_TSC_DEADLINE_TIMER=y
      - CONFIG_HPET_TIMER=n
  kernel.timer.monotonic.icount_off:
    # Extra test for GH-48608
    tags:
      - kernel
      - timer
    platform_allow: mps2/an385
    extra_configs:
      - CONFIG_QEMU_ICOUNT=n
