Hi,
It seems that versions 1.6.4 and above of the original Arduino IDE now allow external boards, by specifying a URL for a config JSON file that contains pointers to all the files required, including the whole toolchain.
It seems that with this change there is no reason to keep Energia as a separate fork (other than the red backgroud replacing the blue Arduino one...).
I think that users (or at least I) would rather be glad to see Energia as a package that can be installed under one common GUI rather than having separate similar GUIs by different groups.
x86 support for Intel's Galileo