common:
  arch_allow: arm64
  tags: arm userspace
  build_only: true

tests:
  arch.arm64.high_addr.high_sram_low_vm:
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
      - CONFIG_KERNEL_VM_BASE=0x00400000

  arch.arm64.high_addr.low_sram_high_vm:
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x00400000
      - CONFIG_KERNEL_VM_BASE=0x200880000

  arch.arm64.high_addr.high_sram_equal_vm:
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
      - CONFIG_KERNEL_VM_BASE=0x200880000

  arch.arm64.high_addr.high_sram_high_vm:
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
      - CONFIG_KERNEL_VM_BASE=0x200800000

  arch.arm64.high_addr.high_sram_low_vm.picolibc:
    tags: picolibc
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
      - CONFIG_KERNEL_VM_BASE=0x00400000
      - CONFIG_PICOLIBC=y

  arch.arm64.high_addr.low_sram_high_vm.picolibc:
    tags: picolibc
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x00400000
      - CONFIG_KERNEL_VM_BASE=0x200880000
      - CONFIG_PICOLIBC=y

  arch.arm64.high_addr.high_sram_equal_vm.picolibc:
    tags: picolibc
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
      - CONFIG_KERNEL_VM_BASE=0x200880000
      - CONFIG_PICOLIBC=y

  arch.arm64.high_addr.high_sram_high_vm.picolibc:
    tags: picolibc
    extra_configs:
      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
      - CONFIG_KERNEL_VM_BASE=0x200800000
      - CONFIG_PICOLIBC=y