> make World

debianはリブートせずにカーネルを入れ替えられるらしいですね

参考：2000/09/08(金)20時15分40秒