Embedded operating systems energy overhead,