commit | 0875f5380bb0426aab102f1225657edcc0367a72 | [log] [tgz] |
---|---|---|
author | Etienne Carriere <etienne.carriere@foss.st.com> | Mon Nov 13 20:18:31 2023 +0100 |
committer | Jérôme Forissier <jerome@forissier.org> | Wed Nov 22 17:04:56 2023 +0100 |
tree | cafc91c75f5eeb5148cb0213b976ea535f2d8924 | |
parent | eb97b27cdeb3b50311483f602e838329fc37f3bd [diff] |
stm32mp1: STM32MP1_DTS_LINUX sets Linux DTS basename Adds STM32MP1_DTS_LINUX to define Linux kernel DTS base name. Reviewed-by: Gatien Chevallier <gatien.chevallier@foss.st.com> Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com>
This git contains makefiles etc to be able to build a full OP-TEE developer setup for the OP-TEE project.
All official OP-TEE documentation has moved to http://optee.readthedocs.io. The pages that used to be here in this git can be found under build and Device specific information at he new location for the OP-TEE documentation.
// OP-TEE core maintainers