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

[Costin Lupu <costin.lupu@xxxxxxxxx>]

The current patch series add interrupts and timer support on linuxu, needed for
enabling scheduling on linuxu.

Costin Lupu (7):
  plat/linuxu: Add assert.h
  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
  plat/linuxu: Add scheduling support for x86_64

 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/assert.h         |  59 +++++++++
 plat/linuxu/include/linuxu/irq.h            |  50 ++++++++
 plat/linuxu/include/linuxu/signal.h         | 151 +++++++++++++++++++++++
 plat/linuxu/include/linuxu/syscall-arm_32.h |  10 ++
 plat/linuxu/include/linuxu/syscall-x86_64.h |  10 ++
 plat/linuxu/include/linuxu/syscall.h        |  51 +++++++-
 plat/linuxu/include/linuxu/time.h           |  45 +++++++
 plat/linuxu/irq.c                           | 183 ++++++++++++++++++++++++++++
 plat/linuxu/lcpu.c                          |  63 +++++++---
 plat/linuxu/time.c                          |  52 +++++++-
 15 files changed, 729 insertions(+), 24 deletions(-)
 create mode 100644 lib/nolibc/include/sys/timespec.h
 create mode 100644 plat/linuxu/include/linuxu/assert.h
 create mode 100644 plat/linuxu/include/linuxu/irq.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.1.4


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