Jiaxun Yang Mon, 28 Jan 2019 06:47:05 -0800
v1->v2: Fix SPDX-License-Identifier v2->v3: Rework according suggestions from Marc Zyngier, Thanks. v3->v4: Rework the driver into a single chip driver.