Use Linux kernel as the example