Handbook:IA64/Blocks/Kernel/ja

アーキテクチャに即したカーネルコンフィグ
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.

コンパイルおよびインストール
カーネルのコンフィグレーションが完了し、コンパイルとインストールをする時がきました. コンフィグレーションを終了させ、コンパイル作業を開始しましょう:

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.