config KERNEL_API
	bool "Linux Kernel API"
	default y
	help
	 Paper about Userspace-to-Kernel API