diff -r ebd3f79a304f -r 57eea1054f46 kernel/eka/include/cpudefs.h
--- a/kernel/eka/include/cpudefs.h	Tue May 18 19:13:06 2010 +0100
+++ b/kernel/eka/include/cpudefs.h	Tue May 25 13:20:47 2010 +0100
@@ -605,7 +605,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)