ia64/xen-unstable

annotate buildconfigs/enable-xen-config @ 15841:c5f735271e22

[IA64] Foreign p2m: Fix vti domain builder.

It should set arch_domain::convmem_end.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author Alex Williamson <alex.williamson@hp.com>
date Thu Sep 06 13:48:43 2007 -0600 (2007-09-06)
parents 0eaa9f605b92
children 419a141ca16d
rev   line source
ian@15541 1 #!/bin/sh
ian@15541 2
ian@15541 3 set -ex
ian@15541 4
ian@15541 5 if [ $# -ne 1 ] ; then
ian@15541 6 echo "Usage $(basename $0) <config-file>" 1>&2
ian@15541 7 exit 1
ian@15541 8 fi
ian@15541 9
ian@15541 10 CONFIG=$1
ian@15541 11
ian@15541 12 setopt()
ian@15541 13 {
ian@15541 14 OPTION=$1
ian@15541 15 VALUE=$2
ian@15541 16
ian@15541 17 # First remove any existing instances of this option
ian@15541 18 sed -e "s/^# ${OPTION} is not set$//g ; s/^^{OPTION}=.$//g" -i "${CONFIG}"
ian@15541 19
ian@15541 20 # Then append the new value
ian@15541 21 case ${VALUE} in
ian@15541 22 y|m) echo "${OPTION}=${VALUE}" >> "${CONFIG}" ;;
ian@15541 23 n) echo "# ${OPTION} is not set" >> "${CONFIG}" ;;
ian@15541 24 *) echo "Invalid value ${VALUE} for ${OPTION}" 1>&2 ; exit 1 ;;
ian@15541 25 esac
ian@15541 26 }
ian@15541 27
ian@15541 28 setopt CONFIG_PARAVIRT y
ian@15541 29 setopt CONFIG_XEN y
ian@15541 30 setopt CONFIG_VMI y
ian@15620 31 setopt CONFIG_KVM y
ian@15620 32 setopt CONFIG_KVM_INTEL y
ian@15620 33 setopt CONFIG_KVM_AMD y
ian@15541 34 setopt CONFIG_LGUEST n
ian@15541 35 setopt CONFIG_XEN_BLKDEV_FRONTEND y
ian@15541 36 setopt CONFIG_XEN_NETDEV_FRONTEND y
ian@15541 37 setopt CONFIG_HVC_XEN y
ian@15620 38 setopt CONFIG_NUMA n
ian@15541 39
ian@15541 40 exit 0