view freebsd-5.3-xen-sparse/xenfbsd_kernel_build @ 7910:56d05708736a

Do not allow an uninitialised VCPU to be brought up. Also
check VCPUOP_up return code in the guest and BUG() on

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Fri Nov 18 19:25:17 2005 +0100 (2005-11-18)
parents a01199a95070
line source
1 #!/bin/csh -f
2 cd i386-xen/conf
3 config XENCONF
4 cd ../compile/XENCONF
5 make kernel-clean
6 ln -s ../../include/xen-public/io/ring.h
7 make kernel-depend; make -j4 kernel