Debug toolkit for linux kernel