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
> support is often call
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
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 because of the new Secure Boot policy. I want to disable
>
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
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 amd64.
>
>> i386 is a 32bit sy
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 architectures.
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 debian-8.7.
...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
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 want to disable it but the problem is that
>> there's n
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 Secure Boot option anywhere in
pas...@plouf.fr.eu.org wrote:
>Le 24/02/2017 à 01:32, Steve McIntyre a écrit :
>>
>> Alternatively, you may have booted the installer in BIOS/CSM mode, in
>> which case it might install but fail to install a boot loader at the
>> end of the process.
>
>Even if the boot loader is successfully instal
Le 24/02/2017 à 01:32, Steve McIntyre a écrit :
Alternatively, you may have booted the installer in BIOS/CSM mode, in
which case it might install but fail to install a boot loader at the
end of the process.
Even if the boot loader is successfully installed, it would be a
BIOS/legacy bootloade
rodolfo.med...@gmail.com wrote:
>Steve McIntyre writes:
>> rodolfo.med...@gmail.com wrote:
>>>Hi all.
>>>
>>>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 w
On most Lenovo the boot menu is F12, see what this is telling you based
on what you have. If F12 is not working, F11, or Fn according to this
list
https://craftedflash.com/info/how-boot-computer-from-usb-flash-drive
should work
Do you have a live linux dvd/usb
Rescatux is relatively small and I be
Le 23/02/2017 à 15:26, Rodolfo Medina a écrit :
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 installed Ubuntu but it won't boot into it eit
Steve McIntyre writes:
> rodolfo.med...@gmail.com wrote:
>>Hi all.
>>
>>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 t
On 02/23/2017 11:50 AM, Steve McIntyre wrote:
rodolfo.med...@gmail.com wrote:
Hi all.
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
rodolfo.med...@gmail.com wrote:
>Hi all.
>
>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 Secure Boot opti
Mark Fletcher writes:
> On Wed, Feb 22, 2017 at 09:40:57PM +, Rodolfo Medina wrote:
>> Hi all.
>>
>> 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 wan
Eero Volotinen writes:
> UBuntu supports secure boot, if you cannot disable it from bios.
>
> Eero
>
> 2017-02-22 23:40 GMT+02:00 Rodolfo Medina :
>
> Hi all.
>
> I frehly installed Debian Sid in dual boot with Windows 10 on my brand
> new Lenovo desktop pc but it won't boot into
UBuntu supports secure boot, if you cannot disable it from bios.
Eero
2017-02-22 23:40 GMT+02:00 Rodolfo Medina :
> Hi all.
>
> 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 Sec
On Wed, Feb 22, 2017 at 09:40:57PM +, Rodolfo Medina wrote:
> Hi all.
>
> 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 prob
Rodolfo Medina wrote:
> 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 Secure Boot option anywhere in
Hi all.
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 Secure Boot option anywhere in its Bios. In fact, in
24 matches
Mail list logo
