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.
https://sourceforge.net/p/freertos/discussion/382005/thread/8feb59f0/?limit=25#5565
Thanks.