ia64/xen-unstable

view freebsd-5.3-xen-sparse/xenfbsd_kernel_build @ 6877:d2f2c1c26995

Minor change also needed in vcpu.c for guests to own ar.kr's.
author djm@kirby.fc.hp.com
date Wed Sep 21 15:13:16 2005 -0600 (2005-09-21)
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