Update on HTML based on new modifications to kernel code