common: | |
ignore_faults: true | |
tests: | |
kernel.demand_paging: | |
tags: | |
- kernel | |
- mmu | |
- demand_paging | |
platform_allow: qemu_x86_tiny | |
extra_configs: | |
- CONFIG_COMMON_LIBC_MALLOC_ARENA_SIZE=0 | |
kernel.demand_paging.timing_funcs: | |
tags: | |
- kernel | |
- mmu | |
- demand_paging | |
platform_allow: qemu_x86_tiny | |
extra_configs: | |
- CONFIG_DEMAND_PAGING_STATS_USING_TIMING_FUNCTIONS=y | |
- CONFIG_COMMON_LIBC_MALLOC_ARENA_SIZE=0 |