Kernel Specification Added