Karma request: kernel