For everyone's information, I have updated my FW building script, the no-longer-working link to 0.8.0 was removed, and additional logic needed for 0.9.0 added.
As an additonal bonus, by removing some unnecessary EDK build steps I have shortened a build time (only one out of four EDK configuration-target combinations is being built, namely PLAIN-RELEASE). I haven't specifically measured it, but it's quite noticeable, because EDK building is the longest piece.
As always - please make sure you know what you're doing when messing up with firmware to avoid unexpected results, keep in mind that the only officially validated with Arduino IDE firmware version is 0.7.5 and... have fun tinkering with your board! :-)
Your feedback as to the script's functionality is more than welcome.
Good point! They have too many switches in gcc, I wouldn't even think they have such a special one beyond standard "--version".
Thanks, I'll update the script, submitted an enhancement request for myself: Use "-dumpversion" switch instead of "--version" to determine GCC version · Issue #3 · alext-mkrs/galileo-fw · GitHub