Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-27 Thread Rodolfo Medina
Ben Caradoc-Davies writes: > On 26/02/17 02:04, Rodolfo Medina wrote: >> How do I check if my machine is `64 or 32 bit' > > I use "cat /proc/cpuinfo | grep 'model name'", to find the model name and > look it up on Wikipedia or Google for the manufacturer data sheet. 64-bit >

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Ben Caradoc-Davies
On 26/02/17 02:04, Rodolfo Medina wrote: How do I check if my machine is `64 or 32 bit' I use "cat /proc/cpuinfo | grep 'model name'", to find the model name and look it up on Wikipedia or Google for the manufacturer data sheet. 64-bit support is often called "AMD64", or "x86-64" by non-AMD

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Patrick Bartek
On Sat, 25 Feb 2017 08:36:04 + Rodolfo Medina wrote: > Rodolfo Medina writes: > > > I frehly installed Debian Sid in dual boot with Windows 10 on my > > brand new Lenovo desktop pc but it won't boot into Debian system I > > suspect

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread deloptes
Rodolfo Medina wrote: > So, generally speaking, how do I know what to choose?  How do I check if > my machine is `64 or 32 bit', and what of all those different Debian .isos > to install? In general you would install 64bit amd64 to modern 64bit architecture/machine - it might be intel or amd. If

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Rodolfo Medina
Pascal Hambourg writes: > Le 25/02/2017 à 13:26, GiaThnYgeia a écrit : >> AMD64 is for 64bit Amd and Intel processors, > > 64-bit Intel *x86* processors. There was once another 64-bit architecture > called ia64 used by Intel "Itanium" processors, not compatible with

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Pascal Hambourg
Le 25/02/2017 à 13:26, GiaThnYgeia a écrit : AMD64 is for 64bit Amd and Intel processors, 64-bit Intel *x86* processors. There was once another 64-bit architecture called ia64 used by Intel "Itanium" processors, not compatible with amd64. i386 is a 32bit system for old pre64

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread GiaThnYgeia
AMD64 is for 64bit Amd and Intel processors, i386 is a 32bit system for old pre64 architectures. So even though a 32bit will work on a 64bit system I have yet to find a good reason for doing so. The other way around wouldn't work. kat Rodolfo Medina: > ...Just curiosity: I installed

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Rodolfo Medina
...Just curiosity: I installed debian-8.7.1-i386-netinst.iso, but my machine is an AMD, and everything went fine. So what's that difference for? Rodolfo

Re: [solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Rodolfo Medina
Rodolfo Medina writes: > Rodolfo Medina writes: > >> I frehly installed Debian Sid in dual boot with Windows 10 on my brand new >> Lenovo desktop pc but it won't boot into Debian system I suspect because of >> the new Secure Boot policy. I

[solved?] Re: Secure Boot won't let boot into Debian

2017-02-25 Thread Rodolfo Medina
Rodolfo Medina writes: > I frehly installed Debian Sid in dual boot with Windows 10 on my brand new > Lenovo desktop pc but it won't boot into Debian system I suspect because of > the new Secure Boot policy. I want to disable it but the problem is that > there's no