Re: [PATCH v1 00/12] ARM: stm32mp: add drivers for GPIO, pinctrl

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Jul 04, 2019 at 07:39:40AM +0200, Ahmad Fatoum wrote:
> Sorry,
> 
> On 3/7/19 18:51, Ahmad Fatoum wrote:
> >   ARM: psci: fix erroneous call of ->system_reset on system_off
> 
> this one is a generic fix and should stay. To sum up, please drop:
> 
> 75624841ec85 ARM: stm32mp157c-dk2: boot kernel in nonsecure mode
> cc392cc3b5df ARM: stm32mp: implement PSCI support
> e7561dba5791 ARM: stm32mp157c-dk2: add board-specific sysconf fixups

Ok, did that.

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



[Index of Archives]     [Linux Embedded]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [XFree86]

  Powered by Linux