Re: [Xen-devel] [PATCH v7 01/19] xen: add PV/PVH kernel entry point

2013-12-20 Thread Julien Grall
amp; xenstack != 0), + ("invalid start_info or xenstack")); If I'm not mistaken, the user won't see the error if the assert failed (the console is not yet initialized). Perhaps xc_printf is more suitable here. -- Julien Grall _

Re: [Xen-devel] [PATCH v9 15/19] xen: create a Xen nexus to use in PV/PVH

2014-01-05 Thread Julien Grall
. The other part of this patch can be merged in the patch #14 "Introduce xenpv bus and a dummy pvcpu device". -- Julien Grall ___ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe

Re: [Xen-devel] [PATCH v9 14/19] xen: introduce xenpv bus and a dummy pvcpu device

2014-01-05 Thread Julien Grall
ev, "Xen PV CPU"); + return (0); Same here: BUS_PROBE_NOWILDCARD. -- Julien Grall ___ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Re: [Xen-devel] [PATCH v9 15/19] xen: create a Xen nexus to use in PV/PVH

2014-01-06 Thread Julien Grall
On 01/06/2014 09:35 AM, Roger Pau Monné wrote: On 05/01/14 22:55, Julien Grall wrote: On 01/02/2014 03:43 PM, Roger Pau Monne wrote: Introduce a Xen specific nexus that is going to be in charge for attaching Xen specific devices. Now that we have a xenpv bus, do we really need a specific

Re: [Xen-devel] [PATCH v9 14/19] xen: introduce xenpv bus and a dummy pvcpu device

2014-01-06 Thread Julien Grall
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

Re: [Xen-devel] [PATCH v9 15/19] xen: create a Xen nexus to use in PV/PVH

2014-01-07 Thread Julien Grall
On 01/07/2014 08:29 AM, Roger Pau Monné wrote: > On 06/01/14 12:33, Julien Grall wrote: >> >> >> On 01/06/2014 09:35 AM, Roger Pau Monné wrote: >>> On 05/01/14 22:55, Julien Grall wrote: >>>> >>>> >>>> On 01/02/2014 03:43 PM, R

Re: [Xen-devel] [PATCH v9 03/19] xen: add and enable Xen console for PVH guests

2014-01-07 Thread Julien Grall
atch bad format. -- Julien Grall ___ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Re: [PATCH v10 14/20] xen: introduce xenpv bus and a dummy pvcpu device

2014-01-14 Thread Julien Grall
== NULL) > + panic("unable to find xenpci device"); > + > + if (!device_is_attached(xenpci)) > + panic("trying to attach xenpv before xenpci"); > + } Can you use the identify method to add the xenpci device? As I said earlier, I

Re: [PATCH v10 14/20] xen: introduce xenpv bus and a dummy pvcpu device

2014-01-14 Thread Julien Grall
On 01/14/2014 04:08 PM, Roger Pau Monné wrote: > On 14/01/14 16:41, Julien Grall wrote: >> On 01/14/2014 02:59 PM, Roger Pau Monne wrote: >>> +static int >>> +xenpv_attach(device_t dev) >>> +{ >>> + device_t child; >>> + >>&

Re: [PATCH v10 14/20] xen: introduce xenpv bus and a dummy pvcpu device

2014-01-14 Thread Julien Grall
On 01/14/2014 04:20 PM, Roger Pau Monné wrote: > On 14/01/14 17:14, Julien Grall wrote: >> On 01/14/2014 04:08 PM, Roger Pau Monné wrote: >>> On 14/01/14 16:41, Julien Grall wrote: >>>> On 01/14/2014 02:59 PM, Roger Pau Monne wrote: >>>>>