Use specific AArch64 toolchain when compiling seL4

The seL4 build system is configured to find installations of compilers on the host, meaning that the `aarch64-none-elf-` toolchain that we use might not be used when building seL4 depending on what other toolchains are installed. Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Sep 13, 2023 · d24de93 · d24de93
1 parent 9ffc886
commit d24de93
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/build_sdk.py b/build_sdk.py
@@ -29,6 +29,10 @@
 
 MICROKIT_EPOCH = 1616367257
 
+# Due to only supporting AArch64 (for now), we hard-code
+# the prefix of the toolchain used to compile seL4.
+TOOLCHAIN_PREFIX = "aarch64-none-elf-"
+
 KERNEL_CONFIG_TYPE = Union[bool, str]
 KERNEL_OPTIONS = Dict[str, KERNEL_CONFIG_TYPE]
 
@@ -192,6 +196,7 @@ def build_sel4(
     cmd = (
         f"cmake -GNinja -DCMAKE_INSTALL_PREFIX={sel4_install_dir.absolute()} "
         f" -DPYTHON3={executable} "
+        f" -DCROSS_COMPILER_PREFIX={TOOLCHAIN_PREFIX}"
         f" -DKernelPlatform={platform} {config_str} "
         f"-S {sel4_dir.absolute()} -B {sel4_build_dir.absolute()}")