1tests:
2  kernel.timer.monotonic:
3    tags:
4      - kernel
5      - timer
6  kernel.timer.monotonic.apic.tsc:
7    tags:
8      - kernel
9      - timer
10      - apic_tsc
11    platform_allow: intel_ehl_crb
12    extra_configs:
13      - CONFIG_APIC_TSC_DEADLINE_TIMER=y
14      - CONFIG_HPET_TIMER=n
15  kernel.timer.monotonic.icount_off:
16    # Extra test for GH-48608
17    tags:
18      - kernel
19      - timer
20    platform_allow: mps2/an385
21    extra_configs:
22      - CONFIG_QEMU_ICOUNT=n
23