utitlities for Linux kernel