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