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


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to