| 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 |