diff -r f497542af8e4 -r 538db54a451d kernel/eka/compsupp/rvct/dfpaeabi_common.mmh
--- a/kernel/eka/compsupp/rvct/dfpaeabi_common.mmh	Tue Jan 19 13:48:03 2010 +0000
+++ b/kernel/eka/compsupp/rvct/dfpaeabi_common.mmh	Mon Jan 18 21:31:10 2010 +0200
@@ -23,7 +23,7 @@
     armrt
     arminc
 
-    #if defined(ARMCC_3_1)
+    #if defined(ARMCC_3_1) || defined(ARMCC_4_0)
     armlibs     c_5.l
 
     #else