Availability of an ARMv8, 64-bit port of FreeRTOS?

Is there a 64-bit port for ARMv8 available or in the works? Any info regarding availability, timelines and target silicon would be helpful. Found this link, but does not seem to have closure. https://sourceforge.net/p/freertos/discussion/382005/thread/8feb59f0/?limit=25#5565 Thanks.

Availability of an ARMv8, 64-bit port of FreeRTOS?

I just answered your other post. Version 8 might just work because it defines the widths of every type. You could probably set BaseTypet to int64t if that is the most efficient type for your chip.