> I already have the sources for head > Can I just grab the vmm driver in the tree with the AMD stuff and plug > that in the sources that I already have? I think that should work (though, the resulting vmm.ko will only work on an AMD system) later, Peter.