| /seL4-master/tools/hardware/ |
| A D | config.py | 12 arch = 'unknown' variable in Config
50 arch = 'arm' variable in ARMConfig
74 arch = 'riscv' variable in RISCVConfig
106 def get_arch_config(arch: str, addrspace_max: int) -> Config:
108 if arch == 'arm':
110 elif arch == 'riscv':
|
| /seL4-master/.github/workflows/ |
| A D | proof.yml | 25 - arch: ARM
27 - arch: ARM_HYP
29 - arch: RISCV64
31 - arch: X64
37 L4V_ARCH: ${{ matrix.arch }}
49 name: logs-${{ matrix.arch }}
|
| A D | pr.yml | 42 arch: [ARM, ARM_HYP, RISCV64, X64]
45 - arch: ARM_HYP
47 - arch: X64
52 L4V_ARCH: ${{ matrix.arch }}
|
| A D | compilation-checks.yml | 22 arch: [ARM, ARM_HYP, RISCV64, X64]
26 - arch: RISCV64
32 ARCH: ${{ matrix.arch }}
|
| /seL4-master/src/plat/fvp/ |
| A D | config.cmake | 22 INTERRUPT_CONTROLLER arch/machine/gic_v3.h
29 CFILES src/arch/arm/machine/l2c_nop.c src/arch/arm/machine/gic_v3.c
|
| /seL4-master/src/plat/rockpro64/ |
| A D | config.cmake | 26 INTERRUPT_CONTROLLER arch/machine/gic_v3.h
32 CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/odroidc4/ |
| A D | config.cmake | 23 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
33 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/tx1/ |
| A D | config.cmake | 22 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
33 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/tqma8xqp1gb/ |
| A D | config.cmake | 25 INTERRUPT_CONTROLLER arch/machine/gic_v3.h
35 CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/exynos4/ |
| A D | config.cmake | 24 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
34 CFILES src/arch/arm/machine/l2c_310.c src/arch/arm/machine/gic_v2.c
|
| /seL4-master/src/plat/odroidc2/ |
| A D | config.cmake | 24 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
34 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/apq8064/ |
| A D | config.cmake | 30 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
36 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/imx7/ |
| A D | config.cmake | 25 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
36 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/tk1/ |
| A D | config.cmake | 29 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
40 CFILES src/plat/tk1/machine/smmu.c src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/tx2/ |
| A D | config.cmake | 26 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
39 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/src/plat/zynq7000/ |
| A D | config.cmake | 31 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
41 CFILES src/arch/arm/machine/l2c_310.c src/arch/arm/machine/gic_v2.c
|
| /seL4-master/src/plat/imx8m-evk/ |
| A D | config.cmake | 35 INTERRUPT_CONTROLLER arch/machine/gic_v3.h
45 CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | shared_types.bf | 18 -- arch specific faults
21 -- arch specific faults
|
| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | shared_types.bf | 21 -- arch specific faults
24 -- arch specific faults
|
| /seL4-master/src/plat/bcm2711/ |
| A D | config.cmake | 41 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
50 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | shared_types.bf | 21 -- arch specific faults
30 -- arch specific faults
|
| /seL4-master/src/plat/zynqmp/ |
| A D | config.cmake | 65 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
74 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/tools/dts/ |
| A D | update-dts.sh | 77 extract_dts $entry $destdir arch/arm/boot/dts
81 extract_dts $entry $destdir arch/arm64/boot/dts
|
| /seL4-master/src/plat/imx6/ |
| A D | config.cmake | 70 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
82 CFILES src/arch/arm/machine/l2c_310.c src/arch/arm/machine/gic_v2.c
|
| /seL4-master/src/plat/allwinnerA20/ |
| A D | config.cmake | 29 INTERRUPT_CONTROLLER arch/machine/gic_v2.h
35 CFILES src/plat/allwinnerA20/machine/l2cache.c src/arch/arm/machine/gic_v2.c
|