Em 25 agosto de 1991, Linus Torvalds, um estudante de 22 anos da Universidade de Helskinki, na Finlândia, enviou e-mail para uma lista de discussão anunciando um pequeno projeto, que posteriormente seria denominado Linux, um kernel para Sistemas Operacionais de código-fonte aberto. Atualmente, passados 30 anos, o então ‘pequeno’ projeto é executado na quase totalidade dos supercomputadores mais poderosos do planeta, além de se tornar o sistema escolhido pela empresa aeroespacial SpaceX para operar seus veículos e foguetes. Assinale a alternativa que contém um Sistema Operacional dotado de um Kernel Linux.