diff -r 04a1b74efd48 -r d32f34975bbf kernel/eka/compsupp/rvct/dfpaeabi.mmp
--- a/kernel/eka/compsupp/rvct/dfpaeabi.mmp	Mon Feb 01 19:40:00 2010 +0100
+++ b/kernel/eka/compsupp/rvct/dfpaeabi.mmp	Mon Feb 01 19:49:38 2010 +0100
@@ -19,7 +19,7 @@
 target          dfpaeabi.dll
 
 start armcc
-    #if defined(ARMCC_3_1)
+    #if defined(ARMCC_3_1) || defined(ARMCC_4_0)
     ARMLIBS     fj_5s.l
 
     #else