lightly-modified Linux kernel