Energy Management for Tiny Real-Time Kernels