Reference for hlte kernel