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