[Buildroot] [PATCHv3 2/2] configs: add raspberrypi4 64bits defconfig

Thomas Petazzoni thomas.petazzoni at bootlin.com
Sun Dec 8 20:57:23 UTC 2019

Hello Arthur,

On Wed,  4 Dec 2019 11:54:30 +0100
Arthur Courtel <arthur.courtel at smile.fr> wrote:

> This configuration builds a 64bit image for RaspberryPi 4.
> Signed-off-by: Arthur Courtel <arthur.courtel at smile.fr>

Thanks for your contribution. I've applied after fixing the commit
title, adding an entry to the DEVELOPERS file and re-generating the
.gitlab-ci.yml file.


Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering

More information about the buildroot mailing list