Did you read the article? They're not creating nor choosing an operating system for the librephone project. They're looking into reverse engineering the binary firmware blobs needed to achieve a fully free software distribution on a modern device. Afaik, this work will benefit all alternative OS projects for whatever devices they succeed with.

I guess maybe a good analogy would be like trying to port coreboot to a laptop.