Re: Clock/Power Management Framework on L4