There area more. DivestOS, HavocOS, IodeOS, Ubuntu Touch, WisePhone (out of Texas). I'm just going with the most common.

Also, Iode only offers full service in Europe. They don't offer full service in the USA, such as their parental controls.