diff --git a/src/microcode/confshared.h b/src/microcode/confshared.h
index 469793b..e4d8b5e 100644
--- a/src/microcode/confshared.h
+++ b/src/microcode/confshared.h
@@ -219,7 +219,10 @@ typedef enum
   FASL_PPC32,
   FASL_X86_64,
   FASL_PPC64,
-  FASL_IA64
+  FASL_IA64,
+  /* Probably an oversimplification of the ARM world.  Need to worry
+     about byte order, ABI, &c.  */
+  FASL_ARM
 } fasl_arch_t;
 
 /* Possible values for COMPILER_PROCESSOR_TYPE.  This identifies the
@@ -635,6 +638,11 @@ extern void win32_stack_reset (void);
 #  define MACHINE_TYPE		"ia64"
 #  define CURRENT_FASL_ARCH	FASL_IA64
 #endif
+
+#ifdef __arm__
+#  define MACHINE_TYPE		"arm"
+#  define CURRENT_FASL_ARCH	FASL_ARM
+#endif
 
 #ifdef sonyrisc
       /* On the Sony NEWS 3250, this procedure initializes the