yann@448: # Linux kernel options
yann@448: 
yann@2444: ## select KERNEL_SUPPORTS_SHARED_LIBS
yann@2444: ##
yann@2444: ## help Build a toolchain targeting systems running Linux as a kernel.