%general-entities; ]> Linux The following patch moves the PAGE_SIZE definiton in the headers so it is available for userspace. patch -Np1 -i ../&linux-alpha_PAGE_SIZE-patch; cp vmlinux /boot/clfskernel-&linux-version;