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