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

[Sharan Santhanam <sharan.santhanam@xxxxxxxxx>]

Hello,

Thank you for this patch series. I have reviewed all the patches in this 
series and it is fine. I will make sure this patch series is upstream by 
Monday.
Thanks & Regards
Sharan

On 7/26/19 1:05 PM, Jia He wrote:
> 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.
>
> Changes:
> v7->v8: change gic_irq_translate to extern
>          add r-b from Sharan
> v6->v7: refine gic_init_cpuif in patch 3 and fix a bug
>          move gic_get_irq_from_dtb to ofw lib
> v4->v5: drop "plat/kvm: Implement intctrl APIs for Arm64".
>          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 (2):
>    plat/common: Include plat/irq.h by default
>    plat/common: Add a trap function to handle Arm64 irq trap
>
> Jianyong Wu (2):
>    plat/common: Implement gic-v2 library for Arm
>    plat/common: Add a platform API to get IRQ from device tree
>
> Wei Chen (2):
>    plat/common: Define __MAX_IRQ for different architectures
>    plat/kvm: Implement intctrl APIs for Arm64
>
>   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          | 456 +++++++++++++++++++++++++++++
>   plat/drivers/include/gic/gic-v2.h  | 376 ++++++++++++++++++++++++
>   plat/drivers/include/ofw/gic_fdt.h |  51 ++++
>   plat/drivers/ofw/fdt.c             |  20 ++
>   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 +-
>   13 files changed, 963 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
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel