Nuttx compability with 64 bit processors

[serge...@gmail.com]

Hello.

Does any know, can I compile Nuttx for 64 bit ARM processors, as bcm2711 (mounted in Raspberry Pi 4) or any similar?

I cannot see it in "Supported Platforms" section.

But I think this will actual. So Cortex-A (like 7 or 8) starts to become obsolete. 

Thanks.