change to mine kernel