Il a mis Arch Linux, c'est un GNU/Linux.