Pode ser hoje à noite. Pode ser amanhã. Pode ser até o Natal de 2027.
Pode ser logo depois de mais um recurso.
Um sistema operacional para yellow hats: feito do zero em Rust para quem quer ser dono da própria máquina até o metal nu. Ainda não tem nome. O domínio, sim.
Quer saber quando for pra valer?
Deixe seu e-mail. Uma mensagem para confirmar que é você e depois só notícia de verdade: o nome, a data, a primeira versão que você pode rodar.
Sem spam, descadastro com um clique. Seu endereço é trancado assim que chega, com uma chave que este site consegue usar para trancar, mas nunca para destrancar. Privacidade
O que está sendo construído
É um sistema operacional completo, não um remix de Linux: carregador de boot, kernel, drivers, pilha de rede, área de trabalho e navegador próprios, tudo escrito em Rust. Ele já deu boot num notebook real de 2017, entrou na internet pelo próprio driver de Wi-Fi e desenhou a própria área de trabalho. O kernel inteiro é um único arquivo com menos de 5 MB, e nos testes a área de trabalho precisa de menos de 20 MB de memória, então quase toda a máquina fica livre para o que você rodar. O computador obedece a quem é dono dele.
- Cada camada é nova. Carregador de boot, kernel, USB, Wi-Fi, pilha de rede, área de trabalho e um navegador que nunca roda JavaScript, tudo em Rust.
- Não é construído em cima de nada. Não é Linux, nem Windows, nem uma demão de tinta. Do metal nu para cima, sem camadas legadas por baixo.
- Silencioso por padrão. Nada vai para a internet até você pedir. Num teste em máquina virtual, ele enviou zero pacotes antes de você pedir.
- O jogo em primeiro lugar. O programa que você está usando fica com a máquina; lojas, extras e assistentes saem da frente. Já comprovado no nosso modo de jogo no Linux.
- Um governador de IA que responde a você. Planejado: você define as regras, ele aconselha e as faz cumprir, e o botão de desligar fica fora dele.
- Regras que crescem e nunca apodrecem. Quando uma verificação deixa algo passar, uma regra é adicionada. Nada é reescrito em silêncio, e nenhum modelo de IA decide sozinho.
- Cada programa no seu próprio cômodo. Planejado: uma porta por programa. Uma primeira versão leve já roda numa máquina virtual.
- Rótulos honestos. Cada resultado abaixo diz onde rodou: um notebook real, uma máquina virtual ou um protótipo no Linux.
- yellow hat substantivo, do inglês “capacete amarelo”
- Engenheiro soberano da sucata que assume o controle do que é seu até qualquer metal nu.
Diário de obra: o que já foi construído
Cada linha diz onde rodou: num notebook real, numa máquina virtual ou como protótipo no Linux. Nada conta enquanto não houver um registro, uma foto ou um teste por trás.
- 402 msdo carregador ao console do kernel no primeiro bootNum notebook real
- Menos de 5 MBo kernel inteiro, com área de trabalho, navegador e drivers incluídosArquivo compilado
- 1,1 sdo carregador à área de trabalho prontaNuma VM
- Menos de 20 MBde memória em uso na área de trabalhoNuma VM
- 31 de 31autotestes aprovados na própria área de trabalhoNum notebook real
- 456.670 bytesde um site real, baixados via TLS 1.3 pelo nosso próprio driver de Wi-Fi, pilha de rede e navegadorNum notebook real
- Num notebook real
Primeiro boot em Rust puro
Em 29 de setembro, nosso próprio carregador e kernel em Rust deram boot num notebook Lenovo de 2017, chegando a um console 0,4 segundo depois de o carregador iniciar. Tem foto.
- Num notebook real
Área de trabalho própria, 31 de 31
Uma área de trabalho clássica com janelas, terminal e loja, cada pixel desenhado pelo nosso próprio código. Passou em 31 de 31 autotestes em 2 de outubro.
- Num notebook real
Wi-Fi próprio e web segura
Nosso driver de Wi-Fi em Rust entrou numa rede WPA2, e nosso navegador carregou um site real via TLS 1.3 sem rodar nenhum JavaScript.
- Num notebook real
Cabo de laboratório e reinício remoto
Em 30 de outubro, o notebook transmitiu o registro de boot via Ethernet USB-C, obedeceu a comandos assinados e reiniciou sob comando, voltando em cerca de 18 segundos.
- Comprovado numa VM
Kernel limpo, recompilado byte a byte
A base de 14 de outubro é recompilada a partir do código-fonte com todos os bytes idênticos e passa em todos os 46 autotestes embutidos.
- Comprovado numa VM
Tela e teclado remotos
Ver a tela e digitar nela da bancada, pelo cabo, funciona numa máquina virtual. O notebook real é o próximo passo.
- Comprovado numa VM
Apps assinados, instalados na memória
A loja instalou uma calculadora e um calendário assinados, só na memória. O calendário pediu o relógio e levou um não.
- Comprovado numa VM
Um guarda de USB baseado em regras
Regras fixas seguram qualquer teclado recém-conectado até você aprovar e sinalizam digitação não humana. Nenhum modelo de IA lá dentro.
- Em andamento
Gráficos: a parte difícil
Drivers de vídeo são a parte mais difícil de qualquer sistema operacional. Nosso driver da Intel passa em 135+ testes na bancada e numa VM, mas ainda não acendeu um chip de verdade. NVIDIA: só pesquisa.
- Protótipo no Linux
Rádio, TV, livros e jogos
Apps da barra superior no nosso notebook de desenvolvimento: 315 estações de rádio, canais de TV gratuitos, 181 audiolivros e programas gratuitos e uma estante de jogos, esperando a reconstrução em Rust.
- Protótipo no Linux
Recomendações privadas, sem rede
Um mecanismo “Para você” aprende com suas curtidas e com o tempo real de escuta, mantém um único arquivo que só o dono acessa e não consegue abrir nenhuma conexão de rede.
- Protótipo no Linux
Modo de jogo
Entrega a máquina inteira ao jogo. Numa partida completa de oito jogadores, o app da loja ficou rebaixado em 407 de 407 amostras.
- Protótipo no Linux
Nosso próprio motor de IA
Um motor em Rust sem dependências rodou dois pequenos modelos de linguagem abertos no processador de um notebook de 2017, com saída idêntica à da referência.
- Planejado
O governador de IA
Você define as regras, ele aconselha e as faz cumprir dentro delas, e o botão de desligar fica fora dele. Nenhum código do governador roda ainda.
- Planejado
Bots booleanos
Pequenos verificadores de regras de sim ou não, sem nenhum modelo de IA dentro: mesma entrada, mesma resposta, sempre. O guarda de USB só de regras é o mais perto disso já construído.
- Planejado
Cômodos murados para cada app
Cada programa no seu próprio cômodo, com uma só porta, para que um app ruim não alcance o resto.
Como construímos
- Praticar no LinuxConstruir a ideia como um programa que funciona no nosso notebook Linux do dia a dia, e conviver com ele primeiro.
- Escrever duas vezesPara cada muro e cada app: como funciona no Linux e exatamente como a versão em Rust vai funcionar.
- Rust, primeiro numa máquina virtualEscrever do zero em Rust e provar em máquinas virtuais. VM é treino, não é jogo.
- Provar num notebook realRegistros ou fotos, senão não aconteceu. Nada que já funcionou um dia é apagado.
- Sala limpa para código dos outrosO original é descrito em palavras simples, o Rust é escrito por um construtor que nunca o viu, e uma verificação separada mantém os dois separados.
Canecas para a obra
Três designs para a primeira leva, desenhados aqui mesmo. A arte pode mudar antes do envio. O café continua quente.
Quer ser dos primeiros na pré-venda?
Deixe seu e-mail e a gente avisa assim que a pré-venda abrir. Nada de pagamento agora.
Um e-mail quando a pré-venda abrir. Seu endereço é trancado assim que chega.
Jogue enquanto espera
Bare Metal: você é uma faísca correndo pelas trilhas de cobre de uma placa de circuito. Pegue chips, desvie dos cadeados. O servidor confere cada partida com as regras do próprio jogo, e cada pontuação salva é assinada, então o placar não pode ser falsificado.
Quando você acha que sai?
Escolha um. Você ganha um bilhete assinado, encadeado por SHA-256 a todos os palpites antes do seu. Ele prova que você disse. Não prova mais nada.
Pergunte ao corvo
O corvo do site. Capacete, pena em forma de ponto de interrogação, ainda sem nome. Ele sabe o que a equipe deixou por escrito, cita as Escrituras quando dá na telha e com certeza vai tentar convencer você a seguir a gente.
Ao vivo do canteiro de obras
- Estimativas assinadas
- 0
- Bilhetes de palpite
- 0
- Partidas jogadas
- 0
- Perguntas ao corvo
- 0
- Esperando o e-mail
- 0
Contado ao vivo pelo próprio site. A data real de lançamento, segundo o cofre: ¯\_(ツ)_/¯