Energy characterization of embedded real-time operating systems