Thanks Lunmin and Scott for sharing information.
Yes, what I'm looking for is a lightweight partitioning (with or without Hypervisor) to run Linux on one core and RTOS(or bare metal) on the other core.
Jailhouse hypervisor looks great, but it seems to require PSCI support for CPU offlining, which is not supported by LS1, I guess.