We got an IPC design document on the wiki:
https://developer.trustedfirmware.org/w/tf_m/design/ipc_design/
This document is going to be updated frequently, please convert this page as a .rst format document under design docs, and push them for review.