On 06/01/14 12:28, Julien Grall wrote:
>
>
> On 01/06/2014 09:46 AM, Roger Pau Monné wrote:
>> On 05/01/14 22:52, Julien Grall wrote:
>>>
>>>
>>> On 01/02/2014 03:43 PM, Roger Pau Monne wrote:
Since Xen PVH guests doesn't have ACPI, we need to create a dummy
bus so top level Xen devices
On 01/06/2014 09:46 AM, Roger Pau Monné wrote:
On 05/01/14 22:52, Julien Grall wrote:
On 01/02/2014 03:43 PM, Roger Pau Monne wrote:
Since Xen PVH guests doesn't have ACPI, we need to create a dummy
bus so top level Xen devices can attach to it (instead of
attaching directly to the nexus) a
On 05/01/14 22:52, Julien Grall wrote:
>
>
> On 01/02/2014 03:43 PM, Roger Pau Monne wrote:
>> Since Xen PVH guests doesn't have ACPI, we need to create a dummy
>> bus so top level Xen devices can attach to it (instead of
>> attaching directly to the nexus) and a pvcpu device that will be used
>>
On 01/02/2014 03:43 PM, Roger Pau Monne wrote:
Since Xen PVH guests doesn't have ACPI, we need to create a dummy
bus so top level Xen devices can attach to it (instead of
attaching directly to the nexus) and a pvcpu device that will be used
to fill the pcpu->pc_device field.
---
sys/conf/file
Since Xen PVH guests doesn't have ACPI, we need to create a dummy
bus so top level Xen devices can attach to it (instead of
attaching directly to the nexus) and a pvcpu device that will be used
to fill the pcpu->pc_device field.
---
sys/conf/files.amd64 |1 +
sys/conf/files.i386 |1 +
sys
