On Wed, Sep 09, 2026 at 14:35:53 +0100, David Lechner wrote: > On 9/6/26 10:30 AM, Carlo Caione wrote: > > Enable the shared Genio 510/700 SPL path entered by the external DDR > > loader. Keep BSS after the downstream SPL reservation, leaving a 0xc800 > > guard after the copy window and space for the initial stack and early > > allocations. Use an 8 MiB heap for loading the firmware FIT. > > > > Load BL31, OP-TEE and U-Boot from eMMC partition 1 using generic SPL > > support. The MediaTek BL31 stalls when given a runtime devicetree as its > > platform parameter, so pass NULL there while retaining the standard > > firmware entry-point parameters.
[...] > > +# CONFIG_SPL_USE_TINY_PRINTF is not set > > I guess this is for SPL fastboot support later? Fastboot needs it too, but the current normal SPL configuration already requires it: the MediaTek pinctrl driver's mtk_get_pin_muxing() and mtk_pinconf_get() use scnprintf(), which tiny printf doesn't provide. -- Carlo Caione
