[Minios-devel] [UNIKRAFT PATCH v5 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 v4:
* remove sigset_t, clockid_t, timer_t from nolibc. They were replaced with k_*
  versions for plat/linuxu, and are otherwise not used at all in the code yet.
* Replace the last remaining uses of libc-provided data types with k_* ones
  for those that are used in system calls.
* Fix plat/linuxu/Makefile.uk: change remaining ARCH_* keywords to
  CONFIG_ARCH_*, make thread.c and sw_ctx.c common instead of specific to
  x86-64.
* Reverse order of "timer" and "interrupts" patches
* Include linuxu/signal.h in plat/linuxu/include/linuxu/time.h
* Change initialization of irq_handlers from memset to UK_SLIST_INIT.

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) interrupts support
  plat/linuxu: Add linuxu (x86_64) timer support
  plat/linuxu: Add linuxu (ARM) interrupts support
  plat/linuxu: Add linuxu (ARM) timer support

Florian Schmidt (2):
  lib/nolibc: Provide time defintions in header files
  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()

 lib/nolibc/include/sys/select.h             |   5 +
 lib/nolibc/include/sys/types.h              |   2 +
 plat/linuxu/Makefile.uk                     |  17 +-
 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        |  66 ++++++-
 plat/linuxu/include/linuxu/time.h           |  63 ++++++
 plat/linuxu/irq.c                           | 205 ++++++++++++++++++++
 plat/linuxu/lcpu.c                          |  44 +++--
 plat/linuxu/time.c                          |  62 +++++-
 11 files changed, 615 insertions(+), 28 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