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 barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox