From ff7d65d20e50290d35ebd24e33e31fabc4e77fcc Mon Sep 17 00:00:00 2001
From: WhenGryphonsFly <84215159+WhenGryphonsFly@users.noreply.github.com>
Date: Sun, 4 Jun 2023 20:43:33 -0500
Subject: [PATCH] Update INSTALL.md

---
 INSTALL.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/INSTALL.md b/INSTALL.md
index 13ee643..bcf005c 100755
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -19,6 +19,7 @@ Install the **devkitARM** toolchain of [devkitPro](https://devkitpro.org/wiki/Ge
 	export DEVKITARM=$DEVKITPRO/devkitARM
 	echo "export DEVKITARM=$DEVKITARM" >> ~/.bashrc
 
+As an alternative to installing devkitARM, for Linux users only, install the GNU Arm Embedded Toolchain. For Debian/Ubuntu-based distributions, this can be accomplished with `sudo apt install gcc-arm-none-eabi binutils-arm-none-eabi`. For Arch Linux, this can be accomplished with `pacman -S arm-none-eabi-gcc arm-none-eabi-binutils`.
 
 # Installation