[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Debian 5 32bit PAE kernel ?



On Thu, 2009-09-10 at 18:47 -0700, Alok Kataria wrote:
> Hi, 
> 
> I was just checking the debian 50r1 ISO and it seems that you don't ship
> a 32bit PAE kernel with it ? 
> 
> I saw these 2 32 bit kernels
> linux-image-2.6.26-2-486_2.6.26-15_i386.deb
> NOHIGHMEM
> 
> 
> linux-image-2.6.26-2-486_2.6.26-15_i386.deb
> has HIGHMEM4G set. 
> 
> Can you please tell me if there is a standard way for an user to get a
> PAE kernel for debian 5? 

This is the "i686-bigmem" flavour of the kernel, which would normally be
installed using "apt-get install linux-image-2.6-686-bigmem".  This is
on CD 11 of Debian 5.0.3; I don't know about 5.0.1.

You can also use a 64-bit "amd64" flavour of the kernel with an i386
user-space.  This should perform better than a PAE kernel.  This is on
CD 4 of Debian 5.0.3 for i386.

(CD listings are here: http://atterer.net/jigdo/jigdo-search.php?list)

Ben.

-- 
Ben Hutchings
Unix is many things to many people,
but it's never been everything to anybody.

Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: