kumquat-buildroot/board/octavo/osd32mp1-red/overlay/boot/extlinux/extlinux.conf

label osd32mp1-red-buildroot
  kernel /boot/zImage
  devicetree /boot/osd32mp1-red.dtb
  append root=/dev/mmcblk1p4 rootwait
configs/octavo_osd32mp1_red: new defconfig 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: https://github.com/octavosystems/osd32mp1-build-tools/tree/395ebd1f4832353c2bc66bbf3346b07d5243e44d/patches/u-boot-2018.11 Signed-off-by: Kory Maincent <kory.maincent@bootlin.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> 2021-11-30 11:39:19 +01:00			`label osd32mp1-red-buildroot`
			`kernel /boot/zImage`
			`devicetree /boot/osd32mp1-red.dtb`
			`append root=/dev/mmcblk1p4 rootwait`