PIC32MZ: Make sure that the microMIPS ISA is selected on all common MIPS32 assembly files when the PIC21MZ is selected

nuttx/arch/mips/Kconfig

@@ -42,6 +42,11 @@ config ARCH_MIPS_24KC
 config ARCH_MIPS_M14K
 	bool
 	default n
+	select ARCH_MIPS_MICROMIPS
+
+config ARCH_MIPS_MICROMIPS
+	bool
+	default n
 
 config ARCH_FAMILY
 	string

nuttx/arch/mips/src/mips32/up_syscall0.S

@@ -1,7 +1,7 @@
 /****************************************************************************
  * arch/mips/src/mips32/up_syscall0.S
  *
- *   Copyright (C) 2011 Gregory Nutt. All rights reserved.
+ *   Copyright (C) 2011, 2015 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>
  *
  * Redistribution and use in source and binary forms, with or without
@@ -80,7 +80,12 @@
 
 	.text
 	.set	noreorder
+	.set	nomips16
+#ifdef CONFIG_ARCH_MIPS_MICROMIPS
+	.set	micromips
+#endif
 	.ent	sys_call0
+
 sys_call0:	/* r4 holds the syscall number */
 sys_call1:	/* r4 holds the syscall number, argument in r5 */
 sys_call2:	/* r4 holds the syscall number, arguments in r5 and r6 */

nuttx/arch/mips/src/mips32/vfork.S

@@ -1,7 +1,7 @@
 /************************************************************************************
  * arch/mips/src/mips32/vfork.S
  *
- *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Copyright (C) 2013, 2015 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>
  *
  * Redistribution and use in source and binary forms, with or without
@@ -102,6 +102,9 @@
 	.globl	vfork
 	.type	vfork, function
 	.set	nomips16
+#ifdef CONFIG_ARCH_MIPS_MICROMIPS
+	.set	micromips
+#endif
 	.ent	vfork
 
 vfork:

nuttx/configs/pic32mz-starterkit/nsh/defconfig

@@ -73,6 +73,9 @@ CONFIG_ARCH_CHIP="pic32mz"
 # CONFIG_ARCH_CHIP_PIC32MX is not set
 CONFIG_ARCH_CHIP_PIC32MZ=y
 CONFIG_ARCH_MIPS32=y
+# CONFIG_ARCH_MIPS_24KC is not set
+CONFIG_ARCH_MIPS_M14K=y
+CONFIG_ARCH_MIPS_MICROMIPS=y
 
 #
 # MIPS32 Configuration Options