kernel example works