INTROOS kernel