> > it's normal with xen3 default scheduler setting.
> 
> So what is the default scheduler now? Is that SEDF ?

sedf.

> Can't see anything in 
> dmesg of XEN0 or XENU.

"xm dmesg"

> Should I try to put sched=bvt on the xen boot command line in grub.conf 
> instead?

yea, you can try bvt, or tweak sedf parameters by "xm sched-sedf".

(i'm not sure about this version of bvt because i haven't used it.
otoh, "xm sched-sedf" is a little buggy. :-)

YAMAMOTO Takashi