Opt-out by default on the memory check.

GAISLER/src/init.c

@@ -18,7 +18,9 @@ rtems_task Init(rtems_task_argument argument)
     rtems_id Task_id[TASKS]; /* task ids */
     int i;
 
+#ifdef MEMCHECK
     memcheck();
+#endif
     all_OK = 1;
     g_init_task_id = rtems_task_self();
     for(i = 0; i < TASKS; i++)
@@ -31,15 +33,23 @@ rtems_task Init(rtems_task_argument argument)
             Task_name[i],
             (rtems_task_priority) 2,
             RTEMS_MINIMUM_STACK_SIZE,
-#if CONFIGURE_SMP_MAXIMUM_PROCESSORS == 4
-            // LEON3/LEON4 system - use full SMP
-            RTEMS_DEFAULT_MODES,
-#else
+#if CONFIGURE_SMP_MAXIMUM_PROCESSORS == 1 || CONFIGURE_MAXIMUM_PROCESSORS == 1
             // LEON2 system - emulate SMP via Linux/Windows-like
             // handling of tasks with same priority (i.e. pre-emption)
             RTEMS_DEFAULT_MODES | RTEMS_TIMESLICE,
+#else
+            // LEON3/LEON4 system - use full SMP
+            RTEMS_DEFAULT_MODES,
 #endif
+
+#if __RTEMS_MAJOR__ == 5
+            // Currently, RCCrc3 has a bug - it needs floating point support
+            // for all tasks, even those that don't use the FPU - otherwise
+            // as soon as the FPU task dies, the binary dies as well.
+            RTEMS_FLOATING_POINT,
+#else
             (i%2) == 0 ? RTEMS_FLOATING_POINT : RTEMS_DEFAULT_ATTRIBUTES,
+#endif
             &Task_id[i]);
 	if (status != RTEMS_SUCCESSFUL) {
 	    printf(

GAISLER/src/system.h

-// Comment this to skip memory checks at startup
-#define MEMCHECK
+// Uncomment this to perform memory checks at startup
+// #define MEMCHECK
 
 #include <rtems.h>
 
-// #include <rtems/score/types.h>
-// #include <rtems/rtems/types.h>
-// #include <rtems/rtems/tasks.h>
-// #include <rtems/rtems/event.h>
-
 rtems_task Init(rtems_task_argument argument);
 rtems_task Task1_EntryPoint(rtems_task_argument argument);
 rtems_task Task2_EntryPoint(rtems_task_argument argument);

GAISLER/src/version.h

 #ifndef __VERSION_H__
 #define __VERSION_H__
-const char version[] = "1.102 (cc964b9)";
+const char version[] = "1.104 (940a750)";
 #endif