Linux kernel
Linux kernel definitions.