Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Detect 'aarch64-elf-' toolchain

Browse Source 
Already registered for RISC-V so makes sense to do the same for
ARM.

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic
2025-05-21 15:33:20 +10:00
committed by Gerwin Klein
parent 5e6f7c2bda
commit b7d67a9389
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
gcc.cmake
View File

@@ -68,6 +68,7 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
"aarch64-unknown-linux-gnu-"
"aarch64-none-linux-gnu-"
"aarch64-none-elf-"
"aarch64-elf-"
)
elseif(${arch} STREQUAL "riscv")
FindPrefixedGCC(
@@ -100,6 +101,7 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
"aarch64-unknown-linux-gnu-"
"aarch64-none-linux-gnu-"
"aarch64-none-elf-"
"aarch64-elf-"
)
elseif(RISCV32 OR RISCV64)
FindPrefixedGCC(