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.
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.