Benchmarking RTEMS on PPC vs ARM multicore

[Sebastian Huber]

Hello Gedare,

what kind of performance benchmarking do you have in mind?

To benchmark the clustered scheduling, you need at least a system with 
separated L2 caches, e.g. T4240 and LS1088A.

We don't have BSPs for the QorIQ Layerscape platform. The chips are 
quite complex.

I haven't looked closely at the Xilinx Zynq but it seems they only have 
up to four cores and one L2 cache. We have a BSP for the Xilinx Zynq 
UltraScale+ (I neveer tested it). So maybe select one of them with 4 
core and the T2080.