Describe HMCkernel.