K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-01-23T09:18:18.853507Z K 7 svn:log V 56 Add __aeabi_ulcmp to allow building of the LINT kernel. END