yann@1: kernel_linux.sh