[PATCH v4 0/7] get rid of the SEDF

[Dario Faggioli <dario.faggioli@citrix.com>]

This should be it.

Patch 1 is still, as in v3, the only one in need of attention.

Series available here too:
 git://xenbits.xen.org/people/dariof/xen.git  rel/sched/nosedf-v4

Thanks and Regards,
Dario
---
Dario Faggioli (7):
      libxl: get rid of the SEDF scheduler
      tools: python: get rid of the SEDF scheduler bindings
      libxc: get rid of the SEDF scheduler
      xen: get rid of the SEDF scheduler
      xen: kill sched_sedf.c
      xl: get rid of the SEDF scheduler
      docs: get rid of the SEDF scheduler

 docs/INDEX                              |    1 
 docs/man/xl.cfg.pod.5                   |   24 
 docs/man/xl.pod.1                       |   42 -
 docs/man/xlcpupool.cfg.pod.5            |    4 
 docs/misc/sedf_scheduler_mini-HOWTO.txt |   44 -
 docs/misc/xen-command-line.markdown     |    2 
 tools/examples/cpupool                  |    2 
 tools/libxc/Makefile                    |    1 
 tools/libxc/include/xenctrl.h           |   12 
 tools/libxc/xc_sedf.c                   |   78 --
 tools/libxl/libxl.c                     |   73 -
 tools/libxl/libxl_create.c              |   61 -
 tools/libxl/libxl_types.idl             |    8 
 tools/libxl/xl.h                        |    1 
 tools/libxl/xl_cmdimpl.c                |  139 ---
 tools/libxl/xl_cmdtable.c               |   16 
 tools/python/xen/lowlevel/xc/xc.c       |   70 -
 xen/common/Makefile                     |    1 
 xen/common/sched_sedf.c                 | 1557 -------------------------------
 xen/common/schedule.c                   |    1 
 xen/include/public/domctl.h             |    9 
 xen/include/public/trace.h              |    2 
 xen/include/xen/sched-if.h              |    1 
 23 files changed, 16 insertions(+), 2133 deletions(-)
 delete mode 100644 docs/misc/sedf_scheduler_mini-HOWTO.txt
 delete mode 100644 tools/libxc/xc_sedf.c
 delete mode 100644 xen/common/sched_sedf.c
--
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)