Handbook:IA64/Blocks/Kernel/de

Architecture specific kernel configuration
Select the correct system type and processor type. DIG-compliant is a good default choice. When installing on an SGI system make sure to select the SGI system type, the kernel may just lock up and refuse to boot otherwise.

Compiling and installing
With the kernel configured, it is time to compile and install it. Exit the configuration and start the compilation process:

When the kernel has finished compiling, copy the kernel image to /. Use whatever name is appropriate for your kernel choice and remember it as it will be referred to later on when configuring the bootloader. Remember to replace vmlinuz with the name and version of the installed kernel.