On Thursday, December 19, 2013 1:54:51 pm Roger Pau Monne wrote:
> Since Xen PVH guests doesn't have ACPI, we need to create a dummy
> pvcpu device that will be used to fill the pcpu->pc_device field.
Rather than have this hang directly off of nexus0, it might be better to
create some sort of 'xe
Since Xen PVH guests doesn't have ACPI, we need to create a dummy
pvcpu device that will be used to fill the pcpu->pc_device field.
---
sys/conf/files.amd64 |1 +
sys/x86/xen/pvcpu.c | 84 ++
2 files changed, 85 insertions(+), 0 deletions(-)
