Xen documentation 에는 xen 스케줄러 바꾸는 방법이 이렇게 나와있음. SCHEDULER SUBCOMMANDS Xen ships with a number of domain schedulers, which can be set at boot time with the sched= parameter on the Xen command line. By default credit is used for scheduling. /boot/grub/grub.cfg에서 sched=credit, sched=credit2, sched=sedf 등을 넣으라는 건데... 말로만 나와있어서 혼자 많이 해멨음. Menu entry 중에 xen 으로 부팅 하는 엔트리부분에서 수정해주면 됩니다. Xen의 Command lin..