Sujet : Re: Inconsistent results for checking whether the OS is 32 or 64 bit
De : news (at) *nospam* druck.org.uk (druck)
Groupes : comp.sys.raspberry-piDate : 22. Jul 2024, 21:17:02
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7menu$puck$1@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 22/07/2024 11:35, Theo wrote:
Adam Funk <a24061@ducksburg.com> wrote:
I'm starting to wonder if I just moved the SD card and external USB
drive from a 2 to a 4B when I got the 4B and kept upgrading. Would
that explain this situation?
It looks like it was changed in an update. I think the Pi maintains
multiple kernels in /boot, so it's possible the same SD card will boot with
a 64-bit kernel on a Pi4 and 32-bit kernel on a Pi2 (especially the v1.0 Pi2
with a Cortex A7 which doesn't support 64 bit).
Yes there are multiple kernels, and on suitable machines you can change from 32 to a 64 bit kernel by putting this in line /boot/config.txt
arm_64bit=1
---druck