O sistema operacional Linux utiliza o kernel desenvolvido inicialmente por: