Subj : Re: Inconsistent results for checking whether the OS is 32 or 64 bit To : Theo From : druck Date : Mon Jul 22 2024 21:17:02 On 22/07/2024 11:35, Theo wrote: > Adam Funk 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 --- SoupGate-Win32 v1.05 * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3) .