On Sun, Jan 22, 2023 at 11:15 PM Russell L. Harris <russ...@rlharris.org> wrote: > > On Sun, Jan 22, 2023 at 10:47:02PM -0500, Jeffrey Walton wrote: > >On Sun, Jan 22, 2023 at 9:51 PM Russell L. Harris <russ...@rlharris.org> > >wrote: > >> On Sun, Jan 22, 2023 at 05:49:30PM -0800, David Christensen wrote: > >> >On 1/19/23 19:43, Russell L. Harris wrote: > >> >>I have not figured out how to configure the BIOS of a Dell Latitude > >> >>3510 to cause it to see and boot from a Debian netinst image (Debian > >The Latitude 3510 was released in 2020. I doubt it is a 32-bit > >architecture, like early Pentiums. > > Actually, I received three old laptops. I got Debian 11 running on > one of them; the BIOS reports: > > Inspiron 3542 > Intel Core i5-4210U > ram = DDR3L > > No indication of 32-bit or 64-bit.
Check Intel Ark for processor features (of Intel processors): https://duckduckgo.com/?q=intel+ark+i5-4210U * Intel® 64: Yes * Instruction Set: 64-bit * Instruction Set Extensions: Intel® SSE4.1, Intel® SSE4.2, Intel® AVX2 > P.S. The Latitude 3510 has a COREi5 sticker by the keyboard. Ignore the stickers. You can buy them on eBay. Jeff
