add working kernel