[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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.

Updates to v2:
* Bugfix in 1/8: Do not release memory when irq_registration was successful

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                           | 205 ++++++++++++++++++++++++++++
 plat/linuxu/lcpu.c                          |  34 +++--
 plat/linuxu/time.c                          |  60 +++++++-
 13 files changed, 632 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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.