--- a/kerneltest/e32test/dll/t_xxver2.cpp	Tue Jul 06 15:50:07 2010 +0300
+++ b/kerneltest/e32test/dll/t_xxver2.cpp	Wed Aug 18 11:08:29 2010 +0300
@@ -578,8 +578,13 @@
 		test(((SSecurityInfo&)info.iSecurityInfo).iCaps[0]==0x0002aaab);
 		test(((SSecurityInfo&)info.iSecurityInfo).iCaps[1]==0);
 		if(formHeader)
+		{
+		#if defined(__ARMCC__) && __ARMCC_VERSION >= 400000
+			test(info.iHardwareFloatingPoint == EFpTypeVFPv2);
+		#else
 			test(info.iHardwareFloatingPoint == EFpTypeNone);
-
+		#endif
+		}
 		if(formHeader)
 			break;
 		formHeader = ETrue;