generic kernel tool