[Minios-devel] [UNIKRAFT PATCH v2 0/8] Enable scheduling on linuxu

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

This patch series add interrupts and monotonic clock support on linuxu,
needed for enabling cooperative scheduling on linuxu. Like on the other
platforms, timer support is added towards upcoming preemptive scheduling
support.

This patch series applies after introducing KVM scheduling support.

Costin Lupu (5):
  plat/linuxu: Add linuxu (x86_64) interrupts support
  plat/linuxu: Add linuxu (x86_64) timer support
  lib/nolibc: Add type definitions for timer support
  plat/linuxu: Add linuxu (ARM) interrupts support
  plat/linuxu: Add linuxu (ARM) timer support

Simon Kuenzer (3):
  plat/linuxu: Add scheduling support for x86_64
  plat/linuxu: Add monotonic clock
  plat/linuxu: Correct timeout calculation for ukplat_lcpu_halt_to()

 lib/nolibc/include/sys/select.h             |   5 +-
 lib/nolibc/include/sys/time.h               |   8 +-
 lib/nolibc/include/sys/timespec.h           |  50 +++++++
 lib/nolibc/include/sys/types.h              |   6 +
 plat/linuxu/Makefile.uk                     |  10 ++
 plat/linuxu/include/linuxu/signal.h         | 151 +++++++++++++++++++++
 plat/linuxu/include/linuxu/syscall-arm_32.h |  12 ++
 plat/linuxu/include/linuxu/syscall-x86_64.h |  12 ++
 plat/linuxu/include/linuxu/syscall.h        |  57 +++++++-
 plat/linuxu/include/linuxu/time.h           |  46 +++++++
 plat/linuxu/irq.c                           | 199 ++++++++++++++++++++++++++++
 plat/linuxu/lcpu.c                          |  34 ++---
 plat/linuxu/time.c                          |  60 ++++++++-
 13 files changed, 626 insertions(+), 24 deletions(-)
 create mode 100644 lib/nolibc/include/sys/timespec.h
 create mode 100644 plat/linuxu/include/linuxu/signal.h
 create mode 100644 plat/linuxu/include/linuxu/time.h
 create mode 100644 plat/linuxu/irq.c

-- 
2.7.4


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel