1.. SPDX-License-Identifier: GPL-2.0+
2
3STMicroelectronics
4==================
5
6.. toctree::
7   :maxdepth: 2
8
9   stm32mp1
10