If it helps, I have a pretty nice example project for GCC here:
http://github.com/hugovincent/mbed-freertos
You should be able to piece together all you need from the Makefile, the linker scripts, and the bootup/initialization code. A suitable toolchain for Mac OS X and Linux (untested on Windows but should work) is here:
http://github.com/hugovincent/arm-eabi-toolchain
You should be able to use it mostly as is even if you don't need or want the RTOS kernel (just don't call StartScheduler in main()).
Expect the remainder of the peripheral drivers (UART, ethernet, I2C, SPI etc) to be added over the coming weeks, as well as more complete C standard library and C++ (with C++ standard library and the STL).
Hi, I have been looking around for the c/c++ class files - insterested in looking a that implementation details of the mbed firmware. All I can find on the svn are the headers. Can we access the c/c++ class files?
thanks
Elio