[Arm-dev] Centos support for Marvell Armada 7k/8k

Hi,

As for the news, unmodified CentOS-7-aarch64 downloaded from
http://mirror.centos.org/altarch/7/isos/aarch64/
works great on Marvell Armada 8040 MacchiatoBin (http://macchiatobin.net/).

You can see vmlinuz-4.11.0-22.el7a.aarch64 bootlog here:
https://pastebin.com/kuDQRzDV

All interfaces that are supported in the mainline linux kernel (with
ACPI) work fine with Centos image as well. However as there's an
effort to add ACPI support to remaining interfaces (e.g. network or
sd/mmc controllers), we would like backport upstream patches to your
tree. Hence I have a couple of questions in addition to what can be
found in https://wiki.centos.org/SpecialInterestGroup/AltArch/AArch64/Contributions:

1. Are the Centos kernel sources accessible in some kind of public repository?

2. When sending patches to arm-dev, do you require original commit log
and URL to adequate patch in the kernel.org?

3. Is patch existence in linux-next sufficient for you to accept it?

4. I imagine proceeding in two steps - align drivers between v4.11 and
mainline first and later add (still being developed) ACPI support
patches once they are ready and merged upstream. Would it be ok for
you?

5. Do you have some kind of merge windows/release cycles to follow,
when upstreaming patches?

Given current quality of Centos support for new family of ARM64 SoCs,
how about mentioning Armada 7k/8k family in 'Supported Hardware'
section on https://wiki.centos.org/SpecialInterestGroup/AltArch/AArch64
?

Best regards,
Marcin