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

label osd32mp1-brk-buildroot
  kernel /boot/zImage
  devicetree /boot/stm32mp157c-osd32mp1-brk.dtb
  append root=/dev/mmcblk0p4 rootwait
configs/octavo_osd32mp1_brk: new defconfig This patch adds support to Octavo Systems BRK 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-brk/ The device tree blobs come from Octavo System: https://github.com/octavosystems/OSD32MP1-BRK-device-tree.git The uboot patches come from Octavo System: https://github.com/octavosystems/BRK_Developer_Package_patches/tree/master/u-boot-v2020.01-stm32mp Signed-off-by: Kory Maincent <kory.maincent@bootlin.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> 2021-11-30 11:39:18 +01:00			`label osd32mp1-brk-buildroot`
			`kernel /boot/zImage`
			`devicetree /boot/stm32mp157c-osd32mp1-brk.dtb`
			`append root=/dev/mmcblk0p4 rootwait`