tools for studying linux kernel