1.1 --- a/buildconfigs/linux-defconfig_xen0_ia64	Tue Jul 11 12:53:04 2006 -0600
     1.2 +++ b/buildconfigs/linux-defconfig_xen0_ia64	Tue Jul 11 12:56:27 2006 -0600
     1.3 @@ -1,7 +1,7 @@
     1.4  #
     1.5  # Automatically generated make config: don't edit
     1.6  # Linux kernel version: 2.6.16.13-xen0
     1.7 -# Mon May 22 14:46:31 2006
     1.8 +# Fri Jun 30 12:59:19 2006
     1.9  #
    1.10  
    1.11  #
    1.12 @@ -721,21 +721,10 @@ CONFIG_SERIAL_NONSTANDARD=y
    1.13  #
    1.14  # Serial drivers
    1.15  #
    1.16 -CONFIG_SERIAL_8250=y
    1.17 -CONFIG_SERIAL_8250_CONSOLE=y
    1.18 -CONFIG_SERIAL_8250_ACPI=y
    1.19 -CONFIG_SERIAL_8250_NR_UARTS=6
    1.20 -CONFIG_SERIAL_8250_RUNTIME_UARTS=4
    1.21 -CONFIG_SERIAL_8250_EXTENDED=y
    1.22 -CONFIG_SERIAL_8250_SHARE_IRQ=y
    1.23 -# CONFIG_SERIAL_8250_DETECT_IRQ is not set
    1.24 -# CONFIG_SERIAL_8250_RSA is not set
    1.25  
    1.26  #
    1.27  # Non-8250 serial port support
    1.28  #
    1.29 -CONFIG_SERIAL_CORE=y
    1.30 -CONFIG_SERIAL_CORE_CONSOLE=y
    1.31  # CONFIG_SERIAL_JSM is not set
    1.32  CONFIG_UNIX98_PTYS=y
    1.33  CONFIG_LEGACY_PTYS=y
    1.34 @@ -1516,8 +1505,16 @@ CONFIG_CRYPTO_DES=y
    1.35  #
    1.36  # Hardware crypto devices
    1.37  #
    1.38 +# CONFIG_XEN_UTIL is not set
    1.39  CONFIG_HAVE_ARCH_ALLOC_SKB=y
    1.40  CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
    1.41 +CONFIG_XEN_BALLOON=y
    1.42 +CONFIG_XEN_SKBUFF=y
    1.43 +CONFIG_XEN_NETDEV_BACKEND=y
    1.44 +CONFIG_XEN_NETDEV_FRONTEND=y
    1.45 +# CONFIG_XEN_DEVMEM is not set
    1.46 +# CONFIG_XEN_REBOOT is not set
    1.47 +# CONFIG_XEN_SMPBOOT is not set
    1.48  CONFIG_XEN_INTERFACE_VERSION=0x00030202
    1.49  
    1.50  #
    1.51 @@ -1525,19 +1522,20 @@ CONFIG_XEN_INTERFACE_VERSION=0x00030202
    1.52  #
    1.53  CONFIG_XEN_PRIVILEGED_GUEST=y
    1.54  # CONFIG_XEN_UNPRIVILEGED_GUEST is not set
    1.55 +CONFIG_XEN_PRIVCMD=y
    1.56  CONFIG_XEN_BACKEND=y
    1.57  # CONFIG_XEN_PCIDEV_BACKEND is not set
    1.58  CONFIG_XEN_BLKDEV_BACKEND=y
    1.59 -CONFIG_XEN_NETDEV_BACKEND=y
    1.60 +CONFIG_XEN_XENBUS_DEV=y
    1.61  # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
    1.62  CONFIG_XEN_NETDEV_LOOPBACK=y
    1.63  # CONFIG_XEN_TPMDEV_BACKEND is not set
    1.64  CONFIG_XEN_BLKDEV_FRONTEND=y
    1.65 -CONFIG_XEN_NETDEV_FRONTEND=y
    1.66  # CONFIG_XEN_SCRUB_PAGES is not set
    1.67 -# CONFIG_XEN_DISABLE_SERIAL is not set
    1.68 +CONFIG_XEN_DISABLE_SERIAL=y
    1.69  CONFIG_XEN_SYSFS=y
    1.70  CONFIG_XEN_COMPAT_030002_AND_LATER=y
    1.71  # CONFIG_XEN_COMPAT_LATEST_ONLY is not set
    1.72  CONFIG_XEN_COMPAT_030002=y
    1.73 +CONFIG_HAVE_IRQ_IGNORE_UNHANDLED=y
    1.74  CONFIG_NO_IDLE_HZ=y

     2.1 --- a/buildconfigs/linux-defconfig_xen_ia64	Tue Jul 11 12:53:04 2006 -0600
     2.2 +++ b/buildconfigs/linux-defconfig_xen_ia64	Tue Jul 11 12:56:27 2006 -0600
     2.3 @@ -1,7 +1,7 @@
     2.4  #
     2.5  # Automatically generated make config: don't edit
     2.6  # Linux kernel version: 2.6.16.13-xen
     2.7 -# Mon May 22 14:15:20 2006
     2.8 +# Thu Jun 29 16:23:48 2006
     2.9  #
    2.10  
    2.11  #
    2.12 @@ -727,21 +727,10 @@ CONFIG_SERIAL_NONSTANDARD=y
    2.13  #
    2.14  # Serial drivers
    2.15  #
    2.16 -CONFIG_SERIAL_8250=y
    2.17 -CONFIG_SERIAL_8250_CONSOLE=y
    2.18 -CONFIG_SERIAL_8250_ACPI=y
    2.19 -CONFIG_SERIAL_8250_NR_UARTS=6
    2.20 -CONFIG_SERIAL_8250_RUNTIME_UARTS=4
    2.21 -CONFIG_SERIAL_8250_EXTENDED=y
    2.22 -CONFIG_SERIAL_8250_SHARE_IRQ=y
    2.23 -# CONFIG_SERIAL_8250_DETECT_IRQ is not set
    2.24 -# CONFIG_SERIAL_8250_RSA is not set
    2.25  
    2.26  #
    2.27  # Non-8250 serial port support
    2.28  #
    2.29 -CONFIG_SERIAL_CORE=y
    2.30 -CONFIG_SERIAL_CORE_CONSOLE=y
    2.31  # CONFIG_SERIAL_JSM is not set
    2.32  CONFIG_UNIX98_PTYS=y
    2.33  CONFIG_LEGACY_PTYS=y
    2.34 @@ -1522,8 +1511,16 @@ CONFIG_CRYPTO_DES=y
    2.35  #
    2.36  # Hardware crypto devices
    2.37  #
    2.38 +# CONFIG_XEN_UTIL is not set
    2.39  CONFIG_HAVE_ARCH_ALLOC_SKB=y
    2.40  CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
    2.41 +CONFIG_XEN_BALLOON=y
    2.42 +CONFIG_XEN_SKBUFF=y
    2.43 +CONFIG_XEN_NETDEV_BACKEND=y
    2.44 +CONFIG_XEN_NETDEV_FRONTEND=y
    2.45 +# CONFIG_XEN_DEVMEM is not set
    2.46 +# CONFIG_XEN_REBOOT is not set
    2.47 +# CONFIG_XEN_SMPBOOT is not set
    2.48  CONFIG_XEN_INTERFACE_VERSION=0x00030202
    2.49  
    2.50  #
    2.51 @@ -1531,19 +1528,20 @@ CONFIG_XEN_INTERFACE_VERSION=0x00030202
    2.52  #
    2.53  CONFIG_XEN_PRIVILEGED_GUEST=y
    2.54  # CONFIG_XEN_UNPRIVILEGED_GUEST is not set
    2.55 +CONFIG_XEN_PRIVCMD=y
    2.56  CONFIG_XEN_BACKEND=y
    2.57  # CONFIG_XEN_PCIDEV_BACKEND is not set
    2.58  CONFIG_XEN_BLKDEV_BACKEND=y
    2.59 -CONFIG_XEN_NETDEV_BACKEND=y
    2.60 +CONFIG_XEN_XENBUS_DEV=y
    2.61  # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
    2.62  CONFIG_XEN_NETDEV_LOOPBACK=y
    2.63  # CONFIG_XEN_TPMDEV_BACKEND is not set
    2.64  CONFIG_XEN_BLKDEV_FRONTEND=y
    2.65 -CONFIG_XEN_NETDEV_FRONTEND=y
    2.66  # CONFIG_XEN_SCRUB_PAGES is not set
    2.67 -# CONFIG_XEN_DISABLE_SERIAL is not set
    2.68 +CONFIG_XEN_DISABLE_SERIAL=y
    2.69  CONFIG_XEN_SYSFS=y
    2.70  CONFIG_XEN_COMPAT_030002_AND_LATER=y
    2.71  # CONFIG_XEN_COMPAT_LATEST_ONLY is not set
    2.72  CONFIG_XEN_COMPAT_030002=y
    2.73 +CONFIG_HAVE_IRQ_IGNORE_UNHANDLED=y
    2.74  CONFIG_NO_IDLE_HZ=y

     3.1 --- a/xen/arch/ia64/xen/xensetup.c	Tue Jul 11 12:53:04 2006 -0600
     3.2 +++ b/xen/arch/ia64/xen/xensetup.c	Tue Jul 11 12:56:27 2006 -0600
     3.3 @@ -65,7 +65,7 @@ integer_param("maxcpus", max_cpus);
     3.4  /* xencons: if true enable xenconsole input (and irq).
     3.5     Note: you have to disable 8250 serials in domains (to avoid use of the
     3.6     same resource).  */
     3.7 -static int opt_xencons = 0;
     3.8 +static int opt_xencons = 1;
     3.9  boolean_param("xencons", opt_xencons);
    3.10  
    3.11  /* Toggle to allow non-legacy xencons UARTs to run in polling mode */