Yes, OpenAMP still here on NuttX and AFAIK everything is fine.
But I think OpenAMP is not feasible for this scenario where you have
two isolated boards, but Xiang could tell us, he and his team
integrated it on NuttX.
Assumed that the poster was referring to the many processors with
built-in Cortex-M4 and Cortex-A[7-9]. I believe there are some i.MX6's
with that configuration.
There is also STM32H7x5 and STM32H7x7 are two of the more recent and
more popular chips (Cortex-M4 at 240MHz and Cortex-M7 at 480MHz).