K2: an operating system for energy-efficient, mobile system-on-chip

K2 is an academic project OS developed out of the Rice University Efficient Computing Group. Its stated purpose is: "Modern mobile System-on-chip(SoC) often embraces heterogeneous cores that are hosted in separate coherence domains, i.e. no hardware coherence among them. This architecture promises high energy efficiency, however complicates software development, thus preventing the energy efficiency from being harvested by software." Learn more here.