1common:
2  arch_allow: arm64
3  tags:
4    - arm
5    - userspace
6  build_only: true
7
8tests:
9  arch.arm64.high_addr.high_sram_low_vm:
10    extra_configs:
11      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
12      - CONFIG_KERNEL_VM_BASE=0x00400000
13
14  arch.arm64.high_addr.low_sram_high_vm:
15    extra_configs:
16      - CONFIG_SRAM_BASE_ADDRESS=0x00400000
17      - CONFIG_KERNEL_VM_BASE=0x200880000
18
19  arch.arm64.high_addr.high_sram_equal_vm:
20    extra_configs:
21      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
22      - CONFIG_KERNEL_VM_BASE=0x200880000
23
24  arch.arm64.high_addr.high_sram_high_vm:
25    extra_configs:
26      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
27      - CONFIG_KERNEL_VM_BASE=0x200800000
28
29  arch.arm64.high_addr.high_sram_low_vm.picolibc:
30    tags: picolibc
31    extra_configs:
32      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
33      - CONFIG_KERNEL_VM_BASE=0x00400000
34      - CONFIG_PICOLIBC=y
35
36  arch.arm64.high_addr.low_sram_high_vm.picolibc:
37    tags: picolibc
38    extra_configs:
39      - CONFIG_SRAM_BASE_ADDRESS=0x00400000
40      - CONFIG_KERNEL_VM_BASE=0x200880000
41      - CONFIG_PICOLIBC=y
42
43  arch.arm64.high_addr.high_sram_equal_vm.picolibc:
44    tags: picolibc
45    extra_configs:
46      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
47      - CONFIG_KERNEL_VM_BASE=0x200880000
48      - CONFIG_PICOLIBC=y
49
50  arch.arm64.high_addr.high_sram_high_vm.picolibc:
51    tags: picolibc
52    extra_configs:
53      - CONFIG_SRAM_BASE_ADDRESS=0x200880000
54      - CONFIG_KERNEL_VM_BASE=0x200800000
55      - CONFIG_PICOLIBC=y
56