a kernel module monitor for the linux kernel