On Mon, 2020-02-17 at 16:55 +0100, Marek Szyprowski wrote:> Add drivers needed to boot Raspberry Pi4 board.> > Signed-off-by: Marek Szyprowski <m.szyprowski@samsung.com>> ---Patch applied.Thanks!Nicolas[unhandled content-type:application/pgp-signature]