diff options
| author | Etienne Carriere <etienne.carriere@linaro.org> | 2020-05-16 13:42:36 +0200 |
|---|---|---|
| committer | Jérôme Forissier <jerome@forissier.org> | 2020-06-05 10:35:05 +0200 |
| commit | bba5972e98e2bf007125d409d4f9c626e688f1bf (patch) | |
| tree | 69607b5839ec38c51a9977fca30a5c27e3b6fc4b /br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DK1/boot/extlinux/extlinux.conf | |
| parent | 8adab8471d514414df13372a875c18f1f1284073 (diff) | |
stm32mp1: initial support
Build OP-TEE for STM32MP1 based platforms. Currently supports platforms
STM32MP157A-DK1, STM32MP157C-DK2 and STM32MP157C-EV1 using a SDcard as
boot media.
Default build targets board STM32MP157C-DK2:
# make
One can specify a target board with PLATFORM configuration switch:
# make PLATFORM=stm32mp1-157A_DK1
# make PLATFORM=stm32mp1-157C_DK2
# make PLATFORM=stm32mp1-157C_EV1
Refer to br-ext/board/stmicroelectronics/stm32mp1-tz/readme.txt for
mode information.
TF-A, OP-TEE OS, U-Boot and Linux kernel are built outside Builrdoot.
All other embedded components are built through Buildroot.
Buildroot generates the final SDcard binary image file to be loaded
raw in the target SD card. The image includes a GPT partition table.
See br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-*.cfg
for more details.
Note on U-Boot defconfig: from v2019.10 up to v2020.07-rc2, one shall
use stm32mp15_optee_defconfig. From v2020-rc3 onward, one shall use
stm32mp15_trusted_defconfig. For flexibility, stm32mp1.mk supports both.
Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Diffstat (limited to 'br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DK1/boot/extlinux/extlinux.conf')
| -rw-r--r-- | br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DK1/boot/extlinux/extlinux.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DK1/boot/extlinux/extlinux.conf b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DK1/boot/extlinux/extlinux.conf new file mode 100644 index 0000000..78ef578 --- /dev/null +++ b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DK1/boot/extlinux/extlinux.conf @@ -0,0 +1,6 @@ +TIMEOUT 20 +DEFAULT stm32mp15-buildroot +LABEL stm32mp15-buildroot + kernel /boot/uImage + devicetree /boot/stm32mp157a-dk1.dtb + append root=/dev/mmcblk0p8 rootwait rw console=ttySTM0,115200 |