I would like to use the dual core version of a LPC54xxx to measure the performance of RTOS's. I would first choose mbed RTOS and port ThreadX Thread Metrics test suite to both cores. All porting code would be open source on GitHub. Run the benchmarks and report the findings. Note that one cannot report any performance benchmarks using FreeRTOS because the licence for bids it, so we will skip that RTOS.
Then I would like to investigate how the two cores can effectively share data between cores. More on that investigation when the User Manual is released.