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

rbhavans wrote on Monday, January 13, 2014:

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.

edwards3 wrote on Monday, January 13, 2014:

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