Pulse kernel support [1/2]