Skip to content

After updating 32 bit Raspi OS Pi 4 is on 64bit kernel #1795

@edegroot-nl

Description

@edegroot-nl

After updating Raspberry PI OS to the last kernel update, the kernel is switched to 64 bit.

$ uname -a
Linux 5.15.84-v7l+ #1613 SMP Thu Jan 5 12:01:26 GMT 2023 armv7l GNU/Linux

$ sudo apt update
....
$ sudo apt upgrade

The following packages will be upgraded:
curl libapr1 libaprutil1 libaprutil1-dbd-sqlite3 libaprutil1-ldap libcamera-apps-lite libcamera0 libcurl3-gnutls libcurl4 libnss3 libtiff5 linux-libc-dev raspberrypi-bootloader raspberrypi-kernel
raspi-config vcdbg
16 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Need to get 108 MB/111 MB of archives.
After this operation, 3,879 kB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://archive.raspberrypi.org/debian bullseye/main armhf raspberrypi-kernel armhf 1:1.20230317-1 [102 MB]
Get:2 http://archive.raspberrypi.org/debian bullseye/main armhf linux-libc-dev armhf 1:1.20230317-1 [1,119 kB]
Get:3 http://archive.raspberrypi.org/debian bullseye/main armhf raspberrypi-bootloader armhf 1:1.20230317-1 [4,542 kB]
Get:4 http://archive.raspberrypi.org/debian bullseye/main armhf vcdbg armhf 1:1.20230317-1 [213 kB]
......
Setting up raspberrypi-kernel (1:1.20230317-1) ..
.....

$ sudo reboot
....
$ uname -a
Linux 6.1.19-v8+ #1637 SMP PREEMPT Tue Mar 14 11:11:47 GMT 2023 aarch64 GNU/Linux

For me this is a problem while running some software that needs 32bit.

arm_64bit=0 added tot /boot/config.txt and everything fine now.
Why not respect the 32bit kernel when already active and change the setting to arm_64bit=1 if needed?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions