accessing msrs

Ryan Brown ribrdb at
Wed Jan 16 01:25:54 CET 2013

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: <>

More information about the l4-hackers mailing list