ia64/xen-unstable

view .bk-to-hg @ 427:f05fccef69dc

bitkeeper revision 1.210 (3eb83c4fHs_yAKLhRwEjFTSk2RBfhA)

xi_list:
new file
dom0_core.c, sched.h, domain.c:
Add default domain name and xi_list to list all running domains
author tlh20@elite.cl.cam.ac.uk
date Tue May 06 22:50:55 2003 +0000 (2003-05-06)
parents 67a66de6d9a0
children a7588afbdfe5
line source
1 #!/bin/sh -x
2 set -e
3 test -L tools/domain_builder/dom0_ops.h
4 rm tools/domain_builder/dom0_ops.h
5 test -L tools/internal/dom0_ops.h
6 rm tools/internal/dom0_ops.h
7 (find -depth -type d -print | xargs -r rmdir 2>/dev/null) || true
8 exit 0