INSTRUCTIONS FOR BUILDING XENLINUX/IA64

1) In linux-2.6.9:
	cp arch/ia64/configs/zx1_defconfig .config
2) vi .config
	unset CONFIG_IA32_SUPPORT
	unset CONFIG_IDE [for now, need to fix later]
	unset CONFIG_VIRTUAL_MEM_MAP [for now, need to fix later]
	set CONFIG_DISABLE_VHPT
3) make oldconfig; make
4) debug fixes:
   a) periodically xenlinux/ia64 goes into a fit of printing
      "Oops: timer tick before it is due..."  This can be changed
      in arch/ia64/kernel/time.c to either ignore it or print something
      shorter
   b) The hp simulator (ski) console drivers can be turned on to allow
      output of early boot information from xenlinux.  This results
      in some duplication of later output (which can be ignored).
      i) in linux/arch/ia64/Makefile, force the sim drivers by changing
		drivers-$(CONFIG_IA64_HP_SIM) += arch/ia64/hp/sim to
		drivers-y += arch/ia64/hp/sim
      ii) in linux/arch/ia64/hp/sim/Makefile, force the sim drivers
	  by changing obj-$(CONFIG_HP_SIMSERIAL) to obj-y and
          obj-$(CONFIG_HP_SIM_SERIAL_CONSOLE) to obj-y
      iii) in arch/ia64/kernel/setup.c:early_console_setup(), replace
           the contents of the routine with:
		extern struct console hpsim_cons;
		register_console(&hpsim_cons);
		return 0;
           (It may be necessary also to un-inline the routine, not sure.)
   c) It can be useful to modify linux/init/main.c to add a printf before
      or after a lot of the init calls
5) NOTE: mca currently has a problem with binary translation,
   must run with "nomca" as a kernel argument