Hi all,

I've been working on a port of paravirt_ops for the x86_64 architectures
for a couple of days. Here's the result so far. I'm posting it soon for
early cooments. The more, the better.

It's obviously based on the previous work for i386, with the needed
modifications. By now, I'm able to boot a bare metal kernel, but there
are still some known issues, that are in my TODO list for the next days.
Highlighting, 

* There are still some hardcoded references to lidt instructions spread
over, that need to be replaced
* Code to init guests, as in 32-bit's startup_32
* patching works (sometimes). Still work needed to stabilize it.

So, here it goes. 
Comments welcome
 
-- 
Glauber de Oliveira Costa
Red Hat Inc.
"Free as in Freedom"