Energy-aware real-time scheduling in the linux kernel