I abondoned the idea with delivering static libraries and linking them with the arduino core files. This would need a change in Compiler.java which is probably unlikely that it find its way into the arduino mainline (see arduino-0018-uracoli.patch).
Instead of this approach, now a custom hardware folder with all required source and header files is generated. The first initial Radio Sketch is now compiling from inside the arduino GUI.
The next steps will be
- looking for a BSD licenseable stk500v1 bootloader
- adding Pierce's Zigduino to the list of supported hardware.
- writing a simple wireless UART that illustrates the usage