refining kernel event interface