Set of shell scripts which help when working with the linux kernel