Added short version of kernel, for registration