K 10 svn:author V 6 andrew K 8 svn:date V 27 2012-01-02T09:56:40.683574Z K 7 svn:log V 57 Implement the required __aeabi_* functions by the Kernel END