Building xen0 kernel

[Jeffrey Buell]

I'm trying to replicate the prebuilt kernels for FC4 1240.  The regular
kernel built just fine and also produced initrd.img and grub.conf files.  But
when I try to do the same for the xen0 kernel (export ARCH=xen, and using the
xen0 config file), I get a kernel but not the other two files.  I can use
mkinitrd to create initrd.img but shouldn't the make install do this?  The
prebuilt grub.conf looks like

root (hd1,7)
kernel /boot/xen.gz dom0_mem=917504 console-vga
module /boot/vmlinuz-2.6.11-1.1240_FC4xen0 ro root=/dev/sda8 console=xencons0
console=tty0
module /boot/initrd-2.6.11-1.1240_FC4xen0.img

If I  use the original xen.gz, the new kernel, and the initrd file from
mkinitrd, then this will boot.  But that's pretty ugly.  I'd like the make
install to produce all the files needed for boot.  Did I leave out something
or is there a known bug?  What are people's experiences building the xen
stuff?

Jeff