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

Debian 5 32bit PAE kernel ?



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? 

Thanks,
Alok


Reply to: