On Sat, Sep 21, 2013 at 10:17:22AM -0400, Carl Fink wrote: > On Sat, Sep 21, 2013 at 09:23:06AM +0200, Paul Wise wrote: > > > On Sat, 2013-09-21 at 00:19 -0700, Josef Bailey wrote: > > > > > I have that version of wheezy-backports in my sources.list and i couldn't > > > find the kernel / Very strange > > > > I guess you didn't notice the package names on the link I sent. In > > Debian the Linux kernel images are called linux-image, not kernel-image, > > since we have multiple kernels in Debian (Linux, FreeBSD, Hurd): > > > > apt-get install -t wheezy-backports linux-image-amd64 > > I thought Josef had an Ideabook Yoga 13, which uses the Core i5 and i7 > series CPUs from Intel. Why use the AMD64 kernel?
>From http://www.debian.org/ports/amd64/: The port consists of a kernel for all AMD 64bit CPUs with AMD64 extension and all *Intel CPUs* with Intel 64 extension, and a common 64bit userspace. -- Facundo Aguirre -- To UNSUBSCRIBE, email to debian-laptop-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130921142334.ga11...@who.void
