I installed Debian on this laptop using this image: debian-7.4.0-amd64-i386-netinst.iso
I thought that because it had "amd64" in the name, I was getting a 64 bit operating system. Well, that didn't happen. I got a 32 bit operation system: $ uname -a Linux laptop 3.2.0-4-686-pae #1 SMP Debian 3.2.54-2 i686 GNU/Linux I don't see any "_64" in there. I also know from "Details" in system settings that the OS type is "32-bit". This laptop does have a 64 bit processor. Just to reassure myself that I wasn't mistaken about that, I did this: $ grep flags /proc/cpuinfo flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe nx lm constant_tsc arch_perfmon pebs bts aperfmperf pni dtes64 monitor ds_cpl est tm2 ssse3 cx16 xtpr pdcm xsave lahf_lm dtherm As I understand it, the presence of "_lm" (long model) is an indication that I have a 64 bit processor. I also know that when I had Ubuntu on this laptop before, I was writing C code that could store 2^64-1 in a long value. So, one of these days I plan to do yet another fresh installation on this laptop so I can get a 64 bit version of Debian. However, I don't want to get fooled again. I want to get an ISO image that will give me a 64 bit system. This one did not: debian-7.4.0-amd64-i386-netinst.iso My question is, can anyone give me the URL of an ISO image on the Debian web site which will give me 64 bit? -- Patrick -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/5318a657.5000...@rayservers.net