Ticket #2343: bsp_smp_startup.patch

c/src/lib/libbsp/arm/xilinx-zynq/startup/bspsmp.c

@@ -13 +13 @@
  */
 
 #include <rtems/score/smpimpl.h>
+#include <bsp/start.h>
 
 bool _CPU_SMP_Start_processor(uint32_t cpu_index)
 {
+  if ( cpu_index == 1 ) {
+        void (**cpu1_start_address)(void) = (void (**)(void)) 0xfffffff0;
+
+        if (*cpu1_start_address != &_start) {
+          *cpu1_start_address = &_start;
+          _CPU_SMP_Processor_event_broadcast();
+        }
+        // else, the bootloader has already done it.
+  }
+
   /*
    * Wait for secondary processor to complete its basic initialization so that
    * we can enable the unified L2 cache.
    */
   return _Per_CPU_State_wait_for_non_initial_state(cpu_index, 0);
 }
+

c/src/lib/libbsp/arm/xilinx-zynq/startup/bspstartmmu.c

@@ -26 +26 @@
     .begin = 0xe0000000U,
     .end = 0xe0200000U,
     .flags = ARMV7_MMU_DEVICE
-  }, {
+  },
+  {
     .begin = 0xf8000000U,
     .end = 0xf9000000U,
     .flags = ARMV7_MMU_DEVICE
-  }
+  },
+  {
+        // hi-mapped 64k of CCM, as device memory.
+    .begin = 0xffff0000U,
+    .end = 0xffffffffU,
+    .flags = ARMV7_MMU_DEVICE
+  },
 };
 
 /*