accessing msrs

[Ryan Brown]

How does fiasco.oc handle accessing intel model specific registers? Is
there any way to access these from user space or does this have to happen
in the kernel?
Specifically I'd like to access the paravirtualized clock when running
under kvm.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130115/8e020434/attachment.html>