Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: druck <news@druck.org.uk>
Newsgroups: comp.sys.raspberry-pi
Subject: Re: Inconsistent results for checking whether the OS is 32 or 64 bit
Date: Mon, 22 Jul 2024 21:17:02 +0100
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <v7menu$puck$1@dont-email.me>
References: <khvkmkx35l.ln2@news.ducksburg.com>
 <1721294290@f2226.n292.z2.fidonet.org> <d900nkx03k.ln2@news.ducksburg.com>
 <cCF*514Pz@news.chiark.greenend.org.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 22 Jul 2024 22:17:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5171dd0f6454004433d8e2d469bea513";
	logging-data="850324"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/nh1//q7UWqIsLX9WiAzY6"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QBaH9Ruy89SNUDNn5shU1I1lcBg=
In-Reply-To: <cCF*514Pz@news.chiark.greenend.org.uk>
Content-Language: en-GB
Bytes: 1864

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