On Sat, Jan 14, 2023 at 12:50:11AM +0000, Vishwanath Reddy Mannapuram wrote: > Hi Team, > > Could you help me to provide Debian 11 (Bullseye - armhf - image location > please). > > I downloaded from > https://raspi.debian.net/tested/20230102_raspi_4_bullseye.img.xz but it is a > 64 bit one, so I am looking for a 32 bit image. > > Regards, > Vishwa > >
>From having a quick look - I don't think we currently provide a 32 bit image for the Raspberry Pi 4 - it's 64 bit capable. The SD card images for armhf are designed for smaller single board computers. I'd suggest that you have Gunnar Wolf / build your own images following his instructions. Raspberry Pi firmware for the Raspberry Pi series is derived ultimately from the Raspberry Pi foundation. Their images for Raspberry Pi OS may boot on either 32 bit or 64 bit - but their OS is not Debian. Is there any particular reason why this must be armhf and 32 bit? [Occasionally, 32 bit images on 64 bit hardware may behave slightly differently - the Raspberry Pi 4 can run both and compile both with no problems as far as I know.] With every good wish as ever, Andy Cater > __________________________________________________________________ > > AVEVA Group plc is registered in England at High Cross, Madingley Road, > Cambridge, England CB3 0HB. Number 2937296.
