[Minios-devel] [UNIKRAFT PATCH v4 0/9] Enable scheduling on linuxu

[Florian Schmidt <florian.schmidt@xxxxxxxxx>]

This patch series adds interrupts and monotonic clock support on linuxu,
needed for enabling cooperative scheduling on linuxu. Like on the other
platforms, timer support is added in preparation of upcoming preemptive
scheduling support. As a side effect, this fixes the long-standing
compilation errors for the linuxu platform.

Changes since v3:
* reflect review comments on v3
* rebased to apply cleanly to current staging
* make sure to bring all necessary data structures (e.g., sigset_t) for the
  signal syscalls in versions ABI-compatible with the Linux kernel, rename
  them to prevent name clashes.

Costin Lupu (4):
  plat/linuxu: Add linuxu (x86_64) timer support
  plat/linuxu: Add linuxu (x86_64) interrupts support
  plat/linuxu: Add linuxu (ARM) timer support
  plat/linuxu: Add linuxu (ARM) interrupts support

Florian Schmidt (2):
  lib/nolibc: Add type definitions for timer support
  plat/linuxu: Build with memory.c from plat/common

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()

 .../include/nolibc-internal/shareddefs.h      |  15 ++
 lib/nolibc/include/sys/select.h               |   6 +
 lib/nolibc/include/sys/types.h                |   4 +
 plat/linuxu/Makefile.uk                       |  13 +-
 plat/linuxu/include/linuxu/signal.h           | 163 ++++++++++++++
 plat/linuxu/include/linuxu/syscall-arm_32.h   |   8 +
 plat/linuxu/include/linuxu/syscall-x86_64.h   |   8 +
 plat/linuxu/include/linuxu/syscall.h          |  61 +++++-
 plat/linuxu/include/linuxu/time.h             |  46 ++++
 plat/linuxu/irq.c                             | 204 ++++++++++++++++++
 plat/linuxu/lcpu.c                            |  41 ++--
 plat/linuxu/time.c                            |  63 +++++-
 12 files changed, 609 insertions(+), 23 deletions(-)
 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.18.0


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