Secure boot [was: dell latitude 3510 - bios settings to boot debian netinst]

On Tue, Jan 24, 2023 at 12:12:53PM +, Steve McIntyre wrote: [...] > >The biggest accomplishment SecureBoot achieved under Windows 8 was > >locking out other operating systems. And that did not last very long. > > Sigh. Secure Boot also does a reasonable job of blocking persistent > pre-boot

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

Jeff wrote: >On Sun, Jan 22, 2023 at 9:51 PM Russell L. Harris wrote: > >> 2) So I turn on Secure Boot? > >I recommend turning SecureBoot off. > > - UEFI > * GPT = on > * SecureBoot = off > >And legacy modes, like BIOS legacy = off. > >In SecureBoot, the only thing that is attested are th

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

> My Dell Inspiron E1505 shipped in 2007 with a 32-bit Core Duo > T2250 processor. In 2016, I STFW and saw that certain 64-bit Core 2 Duo > processors sometimes worked in this laptop (depending upon motherboard > hardware revision?). I bought and installed a T7400, and it works! Same here: I upgr

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

On 1/23/23 09:40, Stefan Monnier wrote: There is no such thing as an Intel Core* CPU that is 32bit. Actually, the first "Core" branded CPUs ("Core Solo" and "Core Duo") were still 32bit, back in 2006 (that was the time-window during which AMD had already switched to 64bit CPUs and Intel still h

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

> There is no such thing as an Intel Core* CPU that is 32bit. Actually, the first "Core" branded CPUs ("Core Solo" and "Core Duo") were still 32bit, back in 2006 (that was the time-window during which AMD had already switched to 64bit CPUs and Intel still hoped it could move people over to IA64 in

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

Russell L. Harris 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 > > > 11

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

Russell L. Harris composed on 2023-01-22 04:15 (UTC): > Inspiron 3542 > Intel Core i5-4210U > ram = DDR3L > No indication of 32-bit or 64-bit. There is no such thing as an Intel Core* CPU that is 32bit. Yours is from 2014, roughly 8 years after Intel quit making 32bit X86 mainline processors:

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

On 1/22/23 18:51, Russell L. Harris 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 11) w

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

On Sun, Jan 22, 2023 at 11:06:10PM -0500, Stefan Monnier wrote: > > In SecureBoot, the only thing that is attested are the disk images. > > There's no guarantees about the program once it is in-memory and > > executing. What's being executed in-memory is the important thing. > > Indeed, it's impor

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

On Sun, Jan 22, 2023 at 11:15 PM Russell L. Harris 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 > >wrote: > >> On Sun, Jan 22, 2023 at 05:49:30PM -0800, David Christensen wrote: > >> >On 1/19/23 19:43, Russell L.

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

On Mon, Jan 23, 2023 at 04:15:19AM +, Russell L. Harris wrote: > 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. All Intel Core i5 processors are

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

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 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 La

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

> In SecureBoot, the only thing that is attested are the disk images. > There's no guarantees about the program once it is in-memory and > executing. What's being executed in-memory is the important thing. Indeed, it's important to remember tht SecureBoot's name comes from the fact that it's desig

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

On Sun, Jan 22, 2023 at 9:51 PM Russell L. Harris 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 n

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

On Mon, Jan 23, 2023 at 02:51:05AM +, Russell L. Harris 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 fro

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

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 11) written to USB flash (8Gbyte Patriot). For ne

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

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 11) written to USB flash (8Gbyte Patriot). RLH On 1/20/23 07:34, Russell L. Harris wrote: > # cp debian-11.6.0-i38

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

On Fri, Jan 20, 2023 at 03:18:31PM -0500, Jeffrey Walton wrote: > On Fri, Jan 20, 2023 at 10:35 AM Russell L. Harris > wrote: > > > > On Fri, Jan 20, 2023 at 12:28:21PM +, Andrew M.A. Cater wrote: > > > [...] > > >How did you create the flash device - what command did you use? > > > > After d

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

On Sat, 21 Jan 2023 at 07:19, Jeffrey Walton wrote: > On Fri, Jan 20, 2023 at 10:35 AM Russell L. Harris > wrote: > > On Fri, Jan 20, 2023 at 12:28:21PM +, Andrew M.A. Cater wrote: > > # cp debian-11.6.0-i386-netinst.iso /dev/sdb > > # sync > > I believe you should use dd to preserve the ph

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

On Sat, 21 Jan 2023 at 02:35, Russell L. Harris wrote: > On Fri, Jan 20, 2023 at 12:28:21PM +, Andrew M.A. Cater wrote: > >On Fri, Jan 20, 2023 at 05:23:06AM +, Russell L. Harris wrote: > >> On Thu, Jan 19, 2023 at 10:18:33PM -0600, David Wright wrote: > >> > On Fri 20 Jan 2023 at 03:43:09

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

On Fri, Jan 20, 2023 at 10:35 AM Russell L. Harris wrote: > > On Fri, Jan 20, 2023 at 12:28:21PM +, Andrew M.A. Cater wrote: > > [...] > >How did you create the flash device - what command did you use? > > After downloading the official netinst iso image, I copied it to the > flash stick (I ro

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

On Fri, Jan 20, 2023 at 09:27:39AM -0600, David Wright wrote: On Fri 20 Jan 2023 at 05:23:06 (+), Russell L. Harris wrote: On Thu, Jan 19, 2023 at 10:18:33PM -0600, David Wright wrote: > On Fri 20 Jan 2023 at 03:43:09 (+), Russell L. Harris wrote: > > I have not figured out how to config

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

On Fri, Jan 20, 2023 at 12:28:21PM +, Andrew M.A. Cater wrote: On Fri, Jan 20, 2023 at 05:23:06AM +, Russell L. Harris wrote: On Thu, Jan 19, 2023 at 10:18:33PM -0600, David Wright wrote: > On Fri 20 Jan 2023 at 03:43:09 (+), Russell L. Harris wrote: > > I have not figured out how to

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

On Fri 20 Jan 2023 at 05:23:06 (+), Russell L. Harris wrote: > On Thu, Jan 19, 2023 at 10:18:33PM -0600, David Wright wrote: > > On Fri 20 Jan 2023 at 03:43:09 (+), Russell L. Harris wrote: > > > I have not figured out how to configure the BIOS of a Dell Latitude > > > 3510 to cause it to s

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

On Fri, Jan 20, 2023 at 05:23:06AM +, Russell L. Harris wrote: > On Thu, Jan 19, 2023 at 10:18:33PM -0600, David Wright wrote: > > On Fri 20 Jan 2023 at 03:43:09 (+), Russell L. Harris wrote: > > > I have not figured out how to configure the BIOS of a Dell Latitude > > > 3510 to cause it to

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

On Thu, Jan 19, 2023 at 10:18:33PM -0600, David Wright wrote: On Fri 20 Jan 2023 at 03:43:09 (+), 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 11) written to USB flash (8Gbyte

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

On Fri 20 Jan 2023 at 03:43:09 (+), 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 > 11) written to USB flash (8Gbyte Patriot). Typically you'd tap away at F12 after turning i

dell latitude 3510 - bios settings to boot debian netinst

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 11) written to USB flash (8Gbyte Patriot). RLH -- He turneth rivers into a wilderness, and the watersprings into dry ground; a fruitful land into barrenness,