build kernel.htm