[Buildroot] [PATCH 1/1] configs: add raspberrypi4 64bits defconfig

Peter Korsgaard peter at korsgaard.com
Sun Dec 1 17:54:44 UTC 2019


>>>>> "Romain" == Romain Naour <romain.naour at smile.fr> writes:

 > Hi Arthur,
 > Le 29/11/2019 à 17:02, Arthur Courtel a écrit :
 >> This configuration builds a 64bit image for RaspberryPi 4.
 >> 
 >> Signed-off-by: Arthur Courtel <arthur.courtel at smile.fr>
 >> ---
 >> .../raspberrypi/genimage-raspberrypi4-64.cfg  | 30 +++++++++++++++++++
 >> board/raspberrypi/post-image.sh               |  4 +--
 >> board/raspberrypi4-64                         |  1 +
 >> configs/raspberrypi4_64_defconfig             | 24 +++++++++++++++
 >> 4 files changed, 57 insertions(+), 2 deletions(-)
 >> create mode 100644 board/raspberrypi/genimage-raspberrypi4-64.cfg
 >> create mode 120000 board/raspberrypi4-64
 >> create mode 100644 configs/raspberrypi4_64_defconfig
 >> 
 >> diff --git a/board/raspberrypi/genimage-raspberrypi4-64.cfg b/board/raspberrypi/genimage-raspberrypi4-64.cfg
 >> new file mode 100644
 >> index 0000000000..3c480e98f0
 >> --- /dev/null
 >> +++ b/board/raspberrypi/genimage-raspberrypi4-64.cfg
 >> @@ -0,0 +1,30 @@
 >> +image boot.vfat {
 >> +  vfat {
 >> +    files = {
 >> +      "bcm2711-rpi-4-b.dtb",
 >> +      "rpi-firmware/cmdline.txt",
 >> +      "rpi-firmware/config.txt",
 >> +      "rpi-firmware/fixup4.dat",
 >> +      "rpi-firmware/start4.elf",
 >> +      "rpi-firmware/overlays",
 >> +      "Image"

 > Not related to your patch but the raspberry-pi3 defconfig use zImage but the
 > 64bit version use Image.

 > Any reason for this?

Image is the default name for arm64 kernels. There is no "zImage"
support for arm64.

-- 
Bye, Peter Korsgaard


More information about the buildroot mailing list