Tsinghua ucore kernel with GKD