> I don't yet figure out why, but on my test the PAE install kernel
> crashed when Xen tries to start it on my debian xen host.

I can reproduce that here, but only on some of my hosts.

It works properly on two SuperMicro PDSMI+ systems with 8GB of RAM, but
fails on a SuperMicro X7DVL-E with 12 GB of RAM.

The Dom0 and Xen are the same on both hosts.

Here is what I get on the X7DVL-E:

(XEN) domain_crash_sync called from entry.S (ff17120e)
(XEN) Domain 19 (vcpu#0) crashed on cpu#2:
(XEN) ----[ Xen-3.1.1  x86_32p  debug=n  Not tainted ]----
(XEN) CPU:    2
(XEN) EIP:    0009:[<c01048b3>]
(XEN) EFLAGS: 00010296   CONTEXT: guest
(XEN) eax: 00000000   ebx: 00000000   ecx: 00000130   edx: c0496fc4
(XEN) esi: c0496fc0   edi: c0496fe4   ebp: c054a050   esp: c0549fe8
(XEN) cr0: 8005003b   cr4: 000026f0   cr3: 001b2ca0   cr2: c0549fe8
(XEN) ds: 0011   es: 0011   fs: 0031   gs: 0011   ss: 0011   cs: 0009
(XEN) Guest stack trace from esp=c0549fe8:
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000006 00000000 c02a9c2e 00010009 00010046
(XEN)    00000000 00000000 00000000 c02a94b1 c0496fc4 00000000 00000000 c054a168
(XEN)    00000000 c0496fc0 c054a190 c02a25da c0496fc0 00000000 c054a168 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 c0496fc0 00000000 00001000 c0496fc0 00000000
(XEN)    00000000 00001000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    c0451360 c0496fc0 c054a220 c03ae3aa c0496fc0 00000000 00000001 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 01000000 c04511a0
(XEN)    00000006 c054cda0 00000000 00000020 00000000 c0496fc0 00000001 00000000
(XEN)    00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
(XEN)    00000000 00000000 00000000 00000007 c0496fc0 c0496fe4 c054a294 c01048ff
(XEN)    c054a22c 00000011 00000031 00000011 00000011 c0496fe4 c0496fc0 c054a294
(XEN)    00000000 c0496fc4 00000120 00000000 00000006 00000000 c02a9c2e 00010009