K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2013-08-30T08:38:04.400461Z
K 7
svn:log
V 195
Add the start of the libc __aeabi_* functions. These are written so we
could use them with the soft float ABI.

They are not fully working, for example:
printf("%f", 0.22);

will print:
0.0F0000

END