Clock/Power Management Framework on L4

[Li Qiu]

Hi, Hackers,

Under Linux, the clock framework defines programming interfaces to 
support software
management of the system clock tree. Is there similar framerwork/server 
on L4 variants?

Any information related to it would be useful. Thanks!

-Li
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150123/7d4f809d/attachment.html>