On Mon, Mar 11, 2019 at 06:41:59PM -0700, Andrey Smirnov wrote:
> > +static int dk2_postcore_init(void)
> > +{
> > +       if (!of_machine_is_compatible("st,stm32mp157c-dk2"))
> > +               return 0;
> > +
> > +       arm_add_mem_device("ram0", 0xc0000000, SZ_512M);
> > +
> 
> Minor nit: I think you can replace 0xc0000000 with STM32_DDR_BASE.

Indeed. Fixed, 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
[email protected]
http://lists.infradead.org/mailman/listinfo/barebox

Reply via email to