From: news@druck.org.uk   
      
   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: you cannot sedate... all the things you hate (1:229/2)