rpi4: Amend DTB to advertise PSCI
authorAndre Przywara <andre.przywara@arm.com>
Thu, 11 Jul 2019 00:45:39 +0000 (01:45 +0100)
committerAndre Przywara <andre.przywara@arm.com>
Wed, 25 Sep 2019 10:45:35 +0000 (11:45 +0100)
commitf67fa69cb6937a7fc559bbec4a7acce5edefa888
tree92fbc3004c267e38bd318e82ed44a53a82d1180c
parent448fb352f9be697e40b1224df3e33bca863326c6
rpi4: Amend DTB to advertise PSCI

The device tree provided by the official Raspberry Pi firmware uses
spin tables for SMP bringup.

One of the benefit of having TF-A is that it provides PSCI services, so
let's rewrite the DTB to advertise PSCI instead of spin tables.
This uses the (newly exported) routine from the QEMU platform port.

Change-Id: Ifddcb14041ca253a333f8c2d5e97a42db152470c
Signed-off-by: Andre Przywara <andre.przywara@arm.com>
plat/rpi/rpi4/platform.mk
plat/rpi/rpi4/rpi4_bl31_setup.c