* Marcelo Tosatti <marcelo@xxxxxxxxx> wrote:For normal hardware yes. But I still have a vsmp patch in the queue.
The first fix is not even specific for PARAVIRT, and it's actually preventing the whole tree from booting.And the following allows PARAVIRT kernels to boot on x86_64.
Fill in missing pagetable manipulation entries in pv_mmu_ops for PAGETABLE_LEVELS >= 3.
thanks Marcelo - picked this up and the other changes as well. I guess the only thing missing at the moment is the proper Kconfig changes to allow the building of a 64-bit PARAVIRT kernel?
Ingo