Running Arria10 SoC in AMP Configuration

Hello,

I’m working on a project targeting the Achilles SoM using the Arria 10 SoC. We need to run an RTOS on the 2nd HPS core. There is no remoteproc driver for this platform in the current Altera Linux kernel, and the drivers that do exist seem fairly specific to platform. Is there any documentation that is available for integrating this functionality? Specifically, are there notes on getting the reset controller and system manger plumbed into a driver?

Thank you for you time.