Not much was heard this month from the early leader in the new wave of mobile Linux operating systems, Firefox OS. However, on Dec. 20, Spanish hardware designer Geeksphone, which has previously introduced the Peak, Peak+, and Keon phones running Firefox OS, tipped a new phone called the Revolution that it will “market” in the first quarter of 2014. The Revolution will ship with Android, but also supports Firefox OS, and other presumably Linux-based “alternatives.”