On Thu 08 Jun 2023 at 15:36:27 (-0600), Charles Curley wrote: > On Thu, 08 Jun 2023 23:15:36 +0200 "Thomas Schmitt" wrote: > > > I understand from the link that it has a 64 bit Celeron J4105 CPU. > > So its EFI would want an "amd64" ISO. > > A Celeron should be able to run i386 Debian. But the amd64 might be a > better use of its capabilities.
Perhaps we have to distinguish between "CPU can run 32-bits too" and "a particular UEFI can boot into a 32-bit OS". Cheers, David.
