mirror of
https://gitlab.com/buildroot.org/buildroot.git
synced 2026-09-10 00:04:06 -09:00
9b467746ed
The ARM64 bcmrpi3_defconfig has been deleted since 6.12.20[1]. It was introduced since 4.9.11[2]. It appears to be the 64-bit version of the ARM bcm2709_defconfig used by Raspberry Pi 2 and Raspberry Pi 3. The .github/workflows/kernel-build.yml was introduced in 5.15.81[3], and it shows the ARM64 bcm2711_defconfig is used to build the kernel8.img of the Raspberry Pi 4 (released in June 2019). The ARM64 bcmrpi3_defconfig appears to be not used officially, even it was still maintained accross the different bumps. The raspberrypi-firmware[5] repository has introduced the kernel8.img image with 4.19.69[6], and the Raspberry Pi 4 was released a little bit earlier since 4.19.50 with the ARM64 kernel8.img[7] image (and the ARM kernel7l.img[8]) (released in September 2019). That kernel8.img appears to boot the Raspberry Pi 4 (using the ARM64 bcm2711_defconfig). Raspberry Pi OS 64-bit boots the image kernel8.img on Raspberry 3. The 64-bit version was released in February 2022. It is not certain it takes the kernel images from the raspberrypi-firmware repository. However, the firmware boots the exact same image kernel8.img on a Raspberry Pi 3 and on a Raspberry Pi 4. Raspberry Pi OS 64-bit on Raspberry Pi 3: MESS:00:00:01.423488:0: brfs: File read: /mfs/sd/config.txt MESS:00:00:01.428389:0: brfs: File read: 1361 bytes MESS:00:00:01.493416:0: brfs: File read: /mfs/sd/config.txt MESS:00:00:01.498339:0: gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined MESS:00:00:02.009915:0: gpioman: gpioman_get_pin_num: pin DISPLAY_DSI_PORT not defined MESS:00:00:02.016952:0: gpioman: gpioman_get_pin_num: pin DISPLAY_DSI_PORT not defined MESS:00:00:02.024731:0: gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined MESS:00:00:02.031018:0: *** Restart logging MESS:00:00:02.034892:0: brfs: File read: 1361 bytes MESS:00:00:02.067531:0: gpioman: gpioman_get_pin_num: pin EMMC_ENABLE not defined MESS:00:00:02.083340:0: HDMI0: hdmi_pixel_encoding: 162000000 MESS:00:00:03.164055:0: brfs: File read: /mfs/sd/initramfs8 MESS:00:00:03.167936:0: Loaded 'initramfs8' to 0x0 size 0x110451e MESS:00:00:03.193834:0: initramfs loaded to 0x2defb000 (size 0x110451e) MESS:00:00:03.208482:0: dtb_file 'bcm2710-rpi-3-b.dtb' MESS:00:00:03.211926:0: brfs: File read: 17843486 bytes MESS:00:00:03.221150:0: brfs: File read: /mfs/sd/bcm2710-rpi-3-b.dtb MESS:00:00:03.225810:0: Loaded 'bcm2710-rpi-3-b.dtb' to 0x100 size 0x8783 MESS:00:00:03.247884:0: brfs: File read: 34691 bytes MESS:00:00:03.264054:0: brfs: File read: /mfs/sd/overlays/overlay_map.dtb MESS:00:00:03.296063:0: brfs: File read: 5423 bytes MESS:00:00:03.302800:0: brfs: File read: /mfs/sd/config.txt MESS:00:00:03.306807:0: dtparam: audio=on MESS:00:00:03.317529:0: brfs: File read: 1361 bytes MESS:00:00:03.341294:0: brfs: File read: /mfs/sd/overlays/vc4-kms-v3d.dtbo MESS:00:00:03.392937:0: Loaded overlay 'vc4-kms-v3d' MESS:00:00:03.500706:0: brfs: File read: 2760 bytes MESS:00:00:03.504586:0: brfs: File read: /mfs/sd/cmdline.txt MESS:00:00:03.509305:0: Read command line from file 'cmdline.txt': MESS:00:00:03.515172:0: 'console=serial0,115200 console=tty1 root=PARTUUID=28fec58e-02 rootfstype=ext4 fsck.repair=yes rootwait cfg80211.ieee80211_regdom=GB' MESS:00:00:03.658110:0: brfs: File read: 132 bytes MESS:00:00:04.203939:0: brfs: File read: /mfs/sd/kernel8.img MESS:00:00:04.207882:0: Loaded 'kernel8.img' to 0x200000 size 0x8dab16 MESS:00:00:05.880351:0: Device tree loaded to 0x2def2300 (size 0x8c7c) MESS:00:00:05.886331:0: uart: Set PL011 baud rate to 103448.300000 Hz MESS:00:00:05.892855:0: uart: Baud rate change done... MESS:00:00:05.896271:0: uart: Baud rate Raspberry Pi OS 64-bit on Raspberry Pi 4: MESS:00:00:04.721959:0: brfs: File read: /mfs/sd/config.txt MESS:00:00:04.725196:0: brfs: File read: 1361 bytes MESS:00:00:04.750539:0: HDMI0:EDID error reading EDID block 0 attempt 0 MESS:00:00:04.755048:0: HDMI0:EDID giving up on reading EDID block 0 MESS:00:00:04.771935:0: HDMI1:EDID error reading EDID block 0 attempt 0 MESS:00:00:04.776437:0: HDMI1:EDID giving up on reading EDID block 0 MESS:00:00:04.783084:0: brfs: File read: /mfs/sd/config.txt MESS:00:00:05.589127:0: gpioman: gpioman_get_pin_num: pin DISPLAY_DSI_PORT not defined MESS:00:00:05.594675:0: gpioman: gpioman_get_pin_num: pin DISPLAY_DSI_PORT not defined MESS:00:00:05.603705:0: *** Restart logging MESS:00:00:05.605484:0: brfs: File read: 1361 bytes MESS:00:00:05.615585:0: hdmi: HDMI0:EDID error reading EDID block 0 attempt 0 MESS:00:00:05.620610:0: hdmi: HDMI0:EDID giving up on reading EDID block 0 MESS:00:00:05.631233:0: hdmi: HDMI0:EDID error reading EDID block 0 attempt 0 MESS:00:00:05.636263:0: hdmi: HDMI0:EDID giving up on reading EDID block 0 MESS:00:00:05.641861:0: hdmi: HDMI:hdmi_get_state is deprecated, use hdmi_get_display_state instead MESS:00:00:05.655652:0: hdmi: HDMI1:EDID error reading EDID block 0 attempt 0 MESS:00:00:05.660683:0: hdmi: HDMI1:EDID giving up on reading EDID block 0 MESS:00:00:05.671304:0: hdmi: HDMI1:EDID error reading EDID block 0 attempt 0 MESS:00:00:05.676328:0: hdmi: HDMI1:EDID giving up on reading EDID block 0 MESS:00:00:05.681926:0: hdmi: HDMI:hdmi_get_state is deprecated, use hdmi_get_display_state instead MESS:00:00:05.690690:0: HDMI0: hdmi_pixel_encoding: 300000000 MESS:00:00:05.696162:0: HDMI1: hdmi_pixel_encoding: 300000000 MESS:00:00:07.208184:0: brfs: File read: /mfs/sd/initramfs8 MESS:00:00:07.210644:0: Loaded 'initramfs8' to 0x0 size 0x110451e MESS:00:00:07.230307:0: initramfs loaded to 0x2defb000 (size 0x110451e) MESS:00:00:07.243252:0: dtb_file 'bcm2711-rpi-4-b.dtb' MESS:00:00:07.245284:0: brfs: File read: 17843486 bytes MESS:00:00:07.256366:0: brfs: File read: /mfs/sd/bcm2711-rpi-4-b.dtb MESS:00:00:07.259609:0: Loaded 'bcm2711-rpi-4-b.dtb' to 0x100 size 0xdb30 MESS:00:00:07.279767:0: brfs: File read: 56112 bytes MESS:00:00:07.296967:0: brfs: File read: /mfs/sd/overlays/overlay_map.dtb MESS:00:00:07.324428:0: brfs: File read: 5423 bytes MESS:00:00:07.328614:0: brfs: File read: /mfs/sd/config.txt MESS:00:00:07.331591:0: dtparam: audio=on MESS:00:00:07.340485:0: brfs: File read: 1361 bytes MESS:00:00:07.363861:0: brfs: File read: /mfs/sd/overlays/vc4-kms-v3d-pi4.dtbo MESS:00:00:07.431733:0: Loaded overlay 'vc4-kms-v3d-pi4' MESS:00:00:07.603996:0: brfs: File read: 3913 bytes MESS:00:00:07.606532:0: brfs: File read: /mfs/sd/cmdline.txt MESS:00:00:07.611170:0: Read command line from file 'cmdline.txt': MESS:00:00:07.617044:0: 'console=serial0,115200 console=tty1 root=PARTUUID=28fec58e-02 rootfstype=ext4 fsck.repair=yes rootwait cfg80211.ieee80211_regdom=GB' MESS:00:00:07.756492:0: brfs: File read: 132 bytes MESS:00:00:08.544420:0: brfs: File read: /mfs/sd/kernel8.img MESS:00:00:08.546973:0: Loaded 'kernel8.img' to 0x200000 size 0x8dab16 MESS:00:00:09.864045:0: Device tree loaded to 0x2deed000 (size 0xdfb8) MESS:00:00:09.869518:0: uart: Set PL011 baud rate to 103448.300000 Hz MESS:00:00:09.876542:0: uart: Baud rate change done... Considering all of this, the now disappeared ARM64 bcmrpi3_defconfig may have never been used to release official 64-bit kernels, and the ARM64 bcm2711_defconfig is used by Raspberry Pi 3 and Raspberry Pi 4. Thus, it is safe to reuse the ARM64 bcm2711_defconfig for the both raspberrypi3_64_defconfig and raspberrypizero2w_64_defconfig. This updates the defconfig for the two BCM2710/BCM2837 64-bit hardwares (i.e. Raspberry Pi 3 and Raspberry Pi Zero 2 W) to reuse the downstream ARM64 bcm2711_deconfig (i.e. the one used by Raspberry Pi 4). Hardware ARM 32-bit ARM 64-bit ------------------------------------------------------------- Raspberry Pi 1/Zero/ZeroW bcmrpi_defconfig N/A Raspberry Pi 2 bcm2709_defconfig N/A Raspberry Pi 3/3+/Zero2W bcm2709_defconfig bcm2711_defconfig Raspberry Pi 4/400/CM4-IO bcm2711_defconfig bcm2711_defconfig Raspberry Pi 5 N/A bcm2712_defconfig [1]:7713244d3b[2]:3682d62794[3]:200e40ee35[4]: https://www.raspberrypi.com/documentation/computers/config_txt.html#kernel [5]:d21cd6bbab[6]:935eb6f9a3[7]:cdb78ce891[8]:e879019c19Signed-off-by: Gaël PORTAY <gael.portay+rtone@gmail.com> Signed-off-by: Julien Olivain <ju.o@free.fr>
Buildroot is a simple, efficient and easy-to-use tool to generate embedded Linux systems through cross-compilation. The documentation can be found in docs/manual. You can generate a text document with 'make manual-text' and read output/docs/manual/manual.text. Online documentation can be found at http://buildroot.org/docs.html To build and use the buildroot stuff, do the following: 1) run 'make menuconfig' 2) select the target architecture and the packages you wish to compile 3) run 'make' 4) wait while it compiles 5) find the kernel, bootloader, root filesystem, etc. in output/images You do not need to be root to build or run buildroot. Have fun! Buildroot comes with a basic configuration for a number of boards. Run 'make list-defconfigs' to view the list of provided configurations. Please feed suggestions, bug reports, insults, and bribes back to the buildroot mailing list: buildroot@buildroot.org You can also find us on #buildroot on OFTC IRC. If you would like to contribute patches, please read https://buildroot.org/manual.html#submitting-patches