[Fedora-xen] fc5 kernel-xen0 w/ pae

[Jason Tower]

is there an "official" xen0 kernel for fc5 that includes pae support?  i
have a 32bit system w/ 6gb ram that works fine with
kernel-xen0-2.6.17-1.2174_FC5 (from yum) although it only sees 4gb.  i
installed kernel-xen-2.6.17-1.2174_FC5 which says it was built with pae, it
sees the full 6gb but fails to bring up the bridge devices when xend
starts.  if anyone can point me in the right direction i'd appreciate it.