Come instalare gdb-arm-none-eabi su Debian 9 (Stretch)