I'd like to try the Linaro version of arch-armv8.inc in an RPi3 project, because it has an ilp32 tune option. What's the correct way to incorporate this? -- Ciao, Paul D. DeRocco Paul mailto:pderocco at ix.netcom.com