Is there any idea to add some new platforms to Arduino?

As I was wandering through GitHub I found some dev platforms for Arduino/AVR that looks interesting:
mikaelpatel/Cosa
feilipu/avrfreertos
chrismoos/avr-os

They all look interesting for me. Maybe these could be added to PlatformIO?