References for omni hlte kernel