trinity kernel for hammerhead