On Fri, Jul 12, 2019 at 12:24:53PM +0200, Ahmad Fatoum wrote: > The arch was renamed to stm32mp, so it doesn't look out of place when > the stm32mp2 is released. Fix spotted comments/labels with the old > name. While at it, fix a typo about the SoC name on the DK2 board. > > Signed-off-by: Ahmad Fatoum <a.fatoum@xxxxxxxxxxxxxx> > --- > arch/arm/Kconfig | 2 +- > arch/arm/mach-stm32mp/Kconfig | 4 ++-- > images/Makefile.stm32mp | 2 +- > 3 files changed, 4 insertions(+), 4 deletions(-) Applied, thanks Sascha -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox