This is a copy of libgcc.a that I know works well with the part. If you have a better one, please share!
# Extra totally non-official info
## GPIO Drive Currents
At 3.3v, it seems that for all speed configurations, the short drive current is 50mA both for emitter and colletor. But the current falls off rather quickly with some voltage.
At 5v the peak current power application is 90-100mA for emitter and collector.