I think HTC is not big enough at that point for their own OS. It had 5.8% market share in 2012 and revenue of under $10bn. They also made losses.

I suspect they picked an existing Linux-based OS.