Hi all,
Does anyone know where to get the init() called in main.cpp (and for that matter the complete run time library) source code ?
I have downloaded arm-2010q1-188-arm-none-eabi-toolchain-win32.zip and gcc-arm-none-eabi-latest-win32.zip from http://static.leaflabs.com/pub/codesourcery/ but all they have are the same binaries as provided in arduino-1.5.1r2-windows.zip