Fix kernel prefix.

Dr-KerbalMD · Nov 1, 2022 · 89a91ed · 89a91ed
1 parent 5f84d3a
commit 89a91ed
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/config/path b/config/path
@@ -61,12 +61,12 @@ XORG_PATH_DRIVERS=/usr/lib/xorg/modules/drivers
 
 . config/optimize
 
-# use ARM toolchain on 64/32 split builds
+# use different toolchain for 64/32 split builds
 if [ -z "$KERNEL_TOOLCHAIN" -a "$TARGET_KERNEL_ARCH" = "arm64" -a "$TARGET_ARCH" = "arm" ]; then
-    KERNEL_TOOLCHAIN="aarch64"
+  KERNEL_TOOLCHAIN="aarch64"
 fi
 if [ -n "$KERNEL_TOOLCHAIN" ]; then
-  TARGET_KERNEL_PREFIX=$TOOLCHAIN/lib/gcc-arm-$KERNEL_TOOLCHAIN/bin/$KERNEL_TOOLCHAIN-
+  TARGET_KERNEL_PREFIX=$KERNEL_TOOLCHAIN-none-elf-
 else
   TARGET_KERNEL_PREFIX=$TARGET_PREFIX
 fi