Index: /trunk/source/lisp-kernel/lisp.h
===================================================================
--- /trunk/source/lisp-kernel/lisp.h	(revision 13600)
+++ /trunk/source/lisp-kernel/lisp.h	(revision 13601)
@@ -19,6 +19,6 @@
 #define __lisp__
 
+/* a platform-specific header file is pre-included via -include */
 
-#include "ccl-platform.h"
 #include "lisptypes.h"
 #ifndef LOWMEM_BIAS
@@ -71,4 +71,5 @@
 #define PLATFORM_CPU_SPARC (1<<3)
 #define PLATFORM_CPU_X86 (2<<3)
+#define PLATFORM_CPU_ARM (3<<3)
 #define PLATFORM_OS_VXWORKS 0
 #define PLATFORM_OS_LINUX 1