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