common: | |
ignore_faults: True | |
tests: | |
kernel.demand_paging: | |
tags: kernel mmu demand_paging | |
filter: CONFIG_DEMAND_PAGING | |
kernel.demand_paging.timing_funcs: | |
tags: kernel mmu demand_paging | |
platform_allow: qemu_x86_tiny | |
filter: CONFIG_DEMAND_PAGING | |
extra_configs: | |
- CONFIG_DEMAND_PAGING_STATS_USING_TIMING_FUNCTIONS=y |