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

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

Without the support of IRQ framework, 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.

Btw, I haven't addressed Sharan's comments of making gic/libofw independent
in platkvm. I will do that in new patch series.

v5->v6: Move gic_fdt.h to ofw directory
        Change the return value type of gic_get_irq_from_dtb from uint32_t 
        to int.
        Address other comments from Sharan, add R-b tag
v4->v5: Drop "Move declaration of some global variables to a header"
        Address other comments from Julien.
v3->v4: Remove no need device name in compatible list for gic v2
v2->v3: Update patch 04 as per Julien's comments
v1->v2: Address Sharan's comments

Jia He (6):
  plat/common: Include plat/irq.h by default
  plat/common: Define __MAX_IRQ for different architectures
  plat/common: Implement gic-v2 library for Arm
  plat/kvm: Implement intctrl APIs for Arm64
  plat/common: Add a platform API to get IRQ from device tree
  plat/common: Add a trap function to handle Arm64 irq trap

 plat/common/arm/traps.c            |   6 +
 plat/common/include/arm/irq.h      |   2 +
 plat/common/include/irq.h          |  17 +
 plat/common/include/x86/irq.h      |   2 +
 plat/drivers/gic/gic-v2.c          | 478 +++++++++++++++++++++++++++++
 plat/drivers/include/gic/gic-v2.h  | 373 ++++++++++++++++++++++
 plat/drivers/include/ofw/gic_fdt.h |  49 +++
 plat/kvm/Makefile.uk               |   1 +
 plat/kvm/arm/exceptions.S          |  10 +-
 plat/kvm/arm/intctrl.c             |  19 +-
 plat/kvm/arm/setup.c               |   4 +
 plat/kvm/irq.c                     |   7 +-
 12 files changed, 960 insertions(+), 8 deletions(-)
 create mode 100644 plat/drivers/gic/gic-v2.c
 create mode 100644 plat/drivers/include/gic/gic-v2.h
 create mode 100644 plat/drivers/include/ofw/gic_fdt.h


Minios-devel mailing list



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