Energieeffiziente Betriebssysteme am Beispiel von Linux