Jeremy Fitzhardinge e3d2697669 xen: fix incorrect vcpu_register_vcpu_info hypercall argument il y a 18 ans
..
interface e3d2697669 xen: fix incorrect vcpu_register_vcpu_info hypercall argument il y a 18 ans
events.h b536b4b962 xen: use the hvc console infrastructure for Xen console il y a 18 ans
features.h 5ead97c84f xen: Core Xen implementation il y a 18 ans
grant_table.h ad9a86121f xen: Add grant table support il y a 18 ans
hvc-console.h b536b4b962 xen: use the hvc console infrastructure for Xen console il y a 18 ans
page.h dfb68689bf xen: xen/page.h compile fix il y a 18 ans
xenbus.h 4bac07c993 xen: add the Xenbus sysfs and virtual device hotplug driver il y a 18 ans