add trinity kernel