A versão mais recente do Kernel para o sistema operacional BigLinux foi lançada. 