As a part of my master thesis, I have to use two operating systems (Linux and AUTOSAR OS) in NXP/Free-scale IMX6 multi-core chip. Linux should run on one core and AUTOSAR OS should run on the other.
Did you read the paper by Nett/Schneider?
Another hint is to look up OpenAMP and their respective drivers.
Which AUTOSAR are you planning to deploy?