Thanks very much for the pointer to DDI0151C_920T_TRM.pdf.
That will help a great deal.

Our first firmware will not be plan 9 since it isn't really needed.
AoE is very simple.  But we are watching your efforts with great
interest.

 Brantley