也许今晚。 也许明天。 也许 2027 年圣诞节前。
也许就在再加一个功能之后。
一个为 yellow hat 打造的操作系统:用 Rust 从零编写,献给想把自己的机器一直掌控到裸机的人。它还没有名字。域名倒是有了。
想知道它什么时候成真吗?
留下你的邮箱。我们先发一封邮件确认是你本人,之后只发真正的消息:名字、发布日期,还有第一个你能运行的版本。
不发垃圾邮件,一键退订。你的地址一到就会被锁上,所用的密钥本网站只能用来上锁,永远无法用来解锁。 隐私
正在建造什么
这是一个完整的操作系统,不是 Linux 改版:自己的引导加载程序、内核、驱动、网络协议栈、桌面和浏览器,全部用 Rust 编写。它已经在一台真实的 2017 年笔记本上启动,通过自己的 Wi-Fi 驱动联网,并画出了自己的桌面。整个内核是一个不到 5 MB 的文件;测试中,桌面只需不到 20 MB 内存,所以机器几乎全部留给你要运行的东西。电脑听命于它的主人。
- 每一层都是新的。 引导加载程序、内核、USB、Wi-Fi、网络协议栈、桌面,还有一个从不运行 JavaScript 的浏览器,全部用 Rust 编写。
- 不建在任何东西之上。 它不是 Linux,不是 Windows,也不是换皮。从裸机往上搭,底下没有任何遗留层。
- 默认安静。 你不开口,什么都不联网。在虚拟机测试中,你开口之前,它发出的数据包为零。
- 游戏优先。 你正在用的程序独占整台机器;商店、附加组件和各种辅助程序统统让路。已在我们的 Linux 游戏模式中验证过。
- 听命于你的 AI 总管。 计划中:规则由你定,它负责建议和执行,而关机开关在它之外。
- 规则只生长,不腐烂。 检查漏掉了什么,就加一条规则。没有任何东西会被悄悄改写,也没有哪个 AI 模型能独自做决定。
- 每个程序一个房间。 计划中:每个程序只有一扇门。第一个轻量版已经在虚拟机里运行。
- 诚实的标签。 下面每一项结果都写明了在哪里跑的:真实笔记本、虚拟机,或 Linux 原型。
- yellow hat 名词(戴黄色安全帽的人)
- 独立自主的废料工程师,凡是自己拥有的东西,都要一路掌控到裸机。
开发日志:目前已建成的部分
每一条都写明在哪里跑的:真实笔记本上、虚拟机里,还是 Linux 原型。没有日志、照片或测试作证,一律不算数。
- 402 ms首次启动时,从加载程序到内核控制台在真实笔记本上
- 不到 5 MB整个内核,含桌面、浏览器和驱动构建文件
- 1.1 s从加载程序到桌面就绪在虚拟机中
- 不到 20 MB桌面状态下的内存占用在虚拟机中
- 31 / 31在自己的桌面上通过的自检在真实笔记本上
- 456,670 字节来自一个真实网站,由我们自己的 Wi-Fi 驱动、网络协议栈和浏览器通过 TLS 1.3 获取在真实笔记本上
- 在真实笔记本上
纯 Rust 首次启动
9 月 29 日,我们自己的 Rust 加载程序和内核启动了一台 2017 年的 Lenovo 笔记本,加载程序启动 0.4 秒后就进入了控制台。有照片为证。
- 在真实笔记本上
自己的桌面,31 / 31
经典桌面:有窗口、终端和商店,每一个像素都由我们自己的代码绘制。10 月 2 日,31 项自检全部通过。
- 在真实笔记本上
自己的 Wi-Fi 和安全的网页
我们的 Rust Wi-Fi 驱动连上了 WPA2 网络,我们的浏览器通过 TLS 1.3 加载了一个真实网站,全程没有运行任何 JavaScript。
- 在真实笔记本上
实验室线缆和远程重启
10 月 30 日,这台笔记本通过 USB-C Ethernet 实时传出启动日志,执行了签名命令,并按命令重启,约 18 秒后恢复。
- 已在虚拟机中验证
干净的内核,逐字节重建
10 月 14 日的基础版本从源码重建后每个字节都完全一致,并通过全部 46 项内置自检。
- 已在虚拟机中验证
远程屏幕和键盘
在工作台上通过线缆查看屏幕并输入文字,这在虚拟机中已经可行。下一步是真实笔记本。
- 已在虚拟机中验证
签名应用,安装到内存
商店把签名的计算器和日历只安装到了内存中。日历申请访问时钟,被拒绝了。
- 已在虚拟机中验证
基于规则的 USB 守卫
固定规则会拦住任何新插入的键盘,直到你批准为止,并标记非人类的打字行为。内部没有 AI 模型。
- 进行中
图形:最难的部分
图形驱动是任何操作系统中最难的部分。我们的 Intel 驱动在工作台和虚拟机中通过了 135+ 项测试,但还没点亮过真正的芯片。NVIDIA:仅在研究阶段。
- Linux 原型
广播、电视、图书和游戏
我们开发笔记本顶栏上的应用:315 个电台、免费电视频道、181 部免费有声书和节目,还有一个游戏架,都在等着用 Rust 重写。
- Linux 原型
私人推荐,不联网
“为你推荐”引擎根据你的点赞和真实收听时长来学习,只保存一个仅限主人访问的文件,而且根本无法建立网络连接。
- Linux 原型
游戏模式
把整台机器交给游戏。在一场满员的八人对战中,商店应用在 407 次采样中 407 次都保持降级。
- Linux 原型
自研 AI 引擎
一个零依赖的 Rust 引擎在 2017 年笔记本的处理器上运行了两个小型开放语言模型,输出与参考实现完全一致。
- 计划中
AI 总管
规则由你定,它在规则范围内建议和执行,关机开关在它之外。目前还没有任何总管代码在运行。
- 计划中
布尔机器人
不含 AI 模型的微型是非规则检查器:同样的输入,每次都是同样的答案。目前已建成的最接近的东西,是那个纯规则的 USB 守卫。
- 计划中
每个应用都有围墙房间
每个程序都住在只有一扇门的房间里,一个坏应用碰不到其他程序。
我们怎么建
- 先在 Linux 上练手先在我们日常用的 Linux 笔记本上把想法做成能用的程序,并且先用它过日子。
- 写下两遍每一道墙、每一个应用:它在 Linux 上怎么工作,以及 Rust 版本将具体怎么工作。
- 用 Rust,先在虚拟机里用 Rust 重新写,在虚拟机里验证。虚拟机只是练兵场,不是真刀真枪。
- 在真实笔记本上验证没有日志或照片,就等于没发生。曾经跑通过的东西,永远不删。
- 他人代码走净室流程原始代码先用大白话描述出来,再由一个从没见过原代码的人用 Rust 编写,另有一道独立检查把两边隔开。
工地专用马克杯
首批三款设计,全部自己画的。发货前图案可能还会改。咖啡照样热乎。
想第一时间预订吗?
锁定你的邮箱,预订一开放我们就马上通知你。现在不用付款。
预订开放时只发一封邮件。你的地址一到就会被锁上。
边等边玩
Bare Metal:你是一颗火花,沿着电路板的铜线飞驰。抓芯片,躲锁。服务器会按游戏自己的规则核验每一局,每个保存的分数都有签名,所以排行榜造不了假。
你觉得它什么时候发布?
选一个。你会拿到一张签名竞猜票,通过 SHA-256 与你之前的每一次竞猜串成一条链。它证明你说过这话。别的什么也证明不了。
问问乌鸦
工地乌鸦。安全帽,问号羽毛,还没有名字。施工队写下的东西它都知道,兴致来了会引用经文,而且绝对会想方设法劝你关注我们。
工地实况
- 已签名的预估
- 0
- 竞猜票
- 0
- 游戏局数
- 0
- 向乌鸦的提问
- 0
- 等邮件的人
- 0
由网站自己实时统计。保险库里记的真实发布日期是: ¯\_(ツ)_/¯