diff -r d8d70de2bd36 -r ac18961ed598 kernel/eka/include/cpudefs.h
--- a/kernel/eka/include/cpudefs.h	Wed Aug 18 11:08:29 2010 +0300
+++ b/kernel/eka/include/cpudefs.h	Mon Aug 23 16:53:40 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)