tests:
  kernel.memory_protection.userspace:
    filter: CONFIG_ARCH_HAS_USERSPACE
    extra_configs:
      - CONFIG_TEST_HW_STACK_PROTECTION=n
      - CONFIG_PICOLIBC_HEAP_SIZE=0
    tags: kernel security userspace ignore_faults
  kernel.memory_protection.userspace.gap_filling.arc:
    filter: CONFIG_ARCH_HAS_USERSPACE and CONFIG_MPU_REQUIRES_NON_OVERLAPPING_REGIONS
    arch_allow: arc
    extra_args: CONFIG_MPU_GAP_FILLING=y
    tags: kernel security userspace ignore_faults
  kernel.memory_protection.userspace.gap_filling.arm:
    filter: CONFIG_ARCH_HAS_USERSPACE and CONFIG_MPU_REQUIRES_NON_OVERLAPPING_REGIONS
    arch_allow: arm
    platform_allow: efr32_radio_brd4180a mps2_an521 nrf9160dk_nrf9160
    extra_args: CONFIG_MPU_GAP_FILLING=y
    tags: kernel security userspace ignore_faults