672807b815
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>
5 lines
125 B
Plaintext
5 lines
125 B
Plaintext
label osd32mp1-red-buildroot
|
|
kernel /boot/zImage
|
|
devicetree /boot/osd32mp1-red.dtb
|
|
append root=/dev/mmcblk1p4 rootwait
|