[Minios-devel] [UNIKRAFT PATCHv2 0/7] Enable IRQ framework for Arm64(series#3)

[Jia He <justin.he@xxxxxxx>]

Missing the IRQ framework support, we can't make multi-thread support
works well. In this series, we implement the GICv2 library and enable
the irq exception entry. We use the gic function to fix the TODO list
in intctrl functions to make IRQ framework on Arm64 works well.

Jia He (1):
  plat/common: Add a trap function to handle Arm64 irq trap

Jianyong Wu (1):
  plat/common: Implement gic-v2 library for Arm

Wei Chen (5):
  plat/common: Include plat/irq.h by default
  plat/common: Define __MAX_IRQ for different architectures
  plat/kvm: Move declaration of some global variables to a header
  plat/kvm: Implement intctrl APIs for Arm64
  plat/common: Add a platform API to get IRQ from device tree

 plat/common/arm/pl011.c           |   3 +-
 plat/common/arm/time.c            |   2 +-
 plat/common/arm/traps.c           |   6 +
 plat/common/include/arm/irq.h     |   2 +
 plat/common/include/gic_fdt.h     |  47 +++
 plat/common/include/irq.h         |  17 ++
 plat/common/include/x86/irq.h     |   2 +
 plat/drivers/gic/gic-v2.c         | 492 ++++++++++++++++++++++++++++++
 plat/drivers/include/gic/gic-v2.h | 371 ++++++++++++++++++++++
 plat/kvm/Makefile.uk              |   2 +
 plat/kvm/arm/exceptions.S         |  10 +-
 plat/kvm/arm/intctrl.c            |  25 +-
 plat/kvm/arm/setup.c              |   4 +
 plat/kvm/include/kvm/sections.h   |  47 +++
 plat/kvm/irq.c                    |   7 +-
 plat/kvm/memory.c                 |   8 +-
 16 files changed, 1024 insertions(+), 21 deletions(-)
 create mode 100644 plat/common/include/gic_fdt.h
 create mode 100644 plat/drivers/gic/gic-v2.c
 create mode 100644 plat/drivers/include/gic/gic-v2.h
 create mode 100644 plat/kvm/include/kvm/sections.h

-- 
2.17.1


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