The PPA appears not to include an appropriate build for Ubuntu 13.10, however 3 potentially relevant packages are already part of the archive:
- gcc-arm-linux-androideabi - cross toolchain and binutils for Android/Bionic on ARM
- gcc-arm-linux-gnueabi - The GNU C compiler for armel architecture
- gcc-arm-linux-gnueabihf - The GNU C compiler for armhf architecture
Are any of these appropriate for rebuilding the Spark Core firmware?