use our kernel