You can use topaz software to partition P4080 into eight different partitions with single core each.
All the OS kernels you want to run in each partition must be ePAPR compliant.
Linux is an example of ePAPR compliant OS.
The RTOS also needs to run under the context of first partition on core0.
From there, the RTOS can start the other partitions (on other cores) one by one using hypercalls provided by topaz.