[SOLVED] Arm-none-eabi-gcc not found when building firmware on Linux

I found out what the problem is. It’s because the 32 bit libraries are not installed. The solution is on this thread. Po-util: a Toolchain Installer / Helper for Linux and OSX