This patch adds support for the Octavo Systems RED board. We use the TF-A, U-Boot and Linux versions from ST, Device Trees from Octavo, as well as a U-Boot patch from Octavo. Reference: https://octavosystems.com/octavo_products/osd32mp1-red/ The device tree blobs come from Octavo System: https://github.com/octavosystems/OSD32MP1-RED-Device-tree.git The uboot patches come from Octavo System: 395ebd1f48/patches/u-boot-2018.11 Signed-off-by: Kory Maincent <kory.maincent@bootlin.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
395ebd1f48/patches/u-boot-2018.11