1common:
2  tags:
3    - kernel
4    - mmu
5    - demand_paging
6tests:
7  kernel.demand_paging.ondemand_section.arm64_semihost:
8    platform_allow:
9      - qemu_cortex_a53
10    extra_configs:
11      - CONFIG_SEMIHOST=y
12      - CONFIG_BACKING_STORE_ONDEMAND_SEMIHOST=y
13