Re: [PATCH v7 13/17] ARM64 / ACPI: Add GICv2 specific ACPI boot support

[Hanjun Guo]

Hi Marc,

We (Tomasz, Suravee and me) are working on supporting stacked domain on
ACPI, and rework GIC ACPI related patch, before we going further, we
need your guidance to see if we are going the right direction.

  - You said that we spread GIC related code every where, so how
    about put all the ACPI related GIC init code in one file under
    drivers/irqchip/ with name irq-gic-acpi.c?

  - ACPI only support one GICD for now, so we assume that there
   only one gicv2/v3 core domain and every device not using MSI
    will refer to that irqdomain in default.

Are we going the right direction?

Thanks
Hanjun
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/