A kernel compilation and configuration tool