ia64/xen-unstable

view freebsd-5.3-xen-sparse/xenfbsd_kernel_build @ 7127:805ee053e61f

VIRQs and IPIs on VCPU#0 are automatically re-bound on save/restore.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Thu Sep 29 13:05:43 2005 +0100 (2005-09-29)
parents a01199a95070
children
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