Re: dell latitude 3510 - bios settings to boot debian netinst

[Jeffrey Walton <noloader@gmail.com>]

On Sun, Jan 22, 2023 at 11:15 PM Russell L. Harris <russell@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 <russell@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