updated kernel