gdt 332561dc13 Use xm, not xl in xendomains. ... xl doesn't seem to work in 4.1. xm works for me. Comments from port-xen tend to agree. So make xendomains use xm.		2014-12-27 00:27:11 +00:00
..
blk_netbsd.c
blktapctrl_netbsd.c
xen-watchdog.sh
xencommons.sh
xend.sh
xendomains.sh