--- a/kernel/eka/include/cpudefs.h	Thu Sep 02 21:54:16 2010 +0300
+++ b/kernel/eka/include/cpudefs.h	Fri Sep 03 14:54:26 2010 +0100
@@ -606,7 +606,8 @@
 
 // Causes undefined instruction exception on both ARM and THUMB
 #define __ASM_CRASH()					asm(".word 0xe7ffdeff ")
-#if defined(__GNUC__)  
+// We need to use RVCT assembler when running armcc with the --gnu option
+#if defined(__GNUC__) && !defined(__ARMCC__)  
 #define	__crash()						asm(".word 0xe7ffdeff " : : : "memory")
 #elif defined(__GCCXML__)
 #define __crash()						(*((TInt *) 0x0) = 0xd1e)