Skip to content

Monthly Archives: July 2018

devkitPro for Raspberry Pi

Debian package for using devkitPro with Raspberry Pi.
It can be installed easily.
Development of GBA, NDS can be started soon!
If you have a RasPiAdvance expansion board, you can write the built ROM to the cartridge.


  • Install
  1. Download the deb file from the following and save it in an arbitrary directory.
  2. In Shell, cd to the saved directory.
  3. Execute the following command at shell.

$ dpkg -i devkitPro_r47-raspberry_pi-linux.deb


  • Download
(日本語) devkitPro_r47-raspberry_pi-linux.deb


  • devkitPro Version

$ arm-none-eabi-gcc -v
Using built-in specs.
Target: arm-none-eabi
Configured with: ../../gcc-7.1.0/configure –enable-languages=c,c++ –with-gnu-as –with-gnu-ld –with-gcc –with-march=armv4t –enable-cxx-flags=-ffunction-sections –disable-libstdcxx-verbose –enable-poison-system-directories –enable-interwork –enable-multilib –enable-threads –disable-win32-registry –disable-nls –disable-debug –disable-libmudflap –disable-libssp –disable-libgomp –disable-libstdcxx-pch –target=arm-none-eabi –with-newlib –with-headers=../../newlib-2.5.0/newlib/libc/include –prefix=/usr/local/devkitPro/devkitARM –enable-lto –with-system-zlib –with-bugurl= –with-pkgversion=’devkitARM release 47′
Thread model: single
gcc version 7.1.0 (devkitARM release 47)