第21期 | 全世界装机量第一的操作系统，你为什么从没见过？

操作系统 · 2026-10-20 · 九羲科技

一、Linux 线

2005 年，Tanenbaum 在 ACM 的 SOSP 会议上宣布 MINIX 3。跟 1987 年那个印在书里的 12,010 行 C 的教学玩具不一样，这一代一出生就奔着商用去：微内核只干两件事——消息传递和进程调度；驱动、文件系统、网络栈全搬到用户态当普通进程跑，死一个重启一个，内核不倒。目标写得很直白：高可靠、可自愈。

MINIX 3 桌面截图（图片来源：Wikimedia Commons）

2000 年 4 月，MINIX 换成了 BSD 许可证。这一步当时看是"教学项目终于彻底开放"，事后看是伏笔：BSD 允许拿去闭源商用，不用知会作者，不用公开源码。

Intel 就这么拿走了——合法地拿。Tanenbaum 后来在公开信里回忆：多年前，Intel 一个工程团队联系他，问了一大堆技术问题；后来又请他把内存占用改小、在代码里加 #ifdef，让用不上的模块能静态裁剪掉。他都照做了，没多想。

想明白是什么时候？2017 年 11 月。Google 的 Ronald Minnich 团队想从自家服务器里移除 Intel Management Engine，扒开固件一看：里面跑的是 MINIX 3。导火索是当年 5 月，Positive Technologies 的 Mark Ermolov 和 Maxim Goryachy 曝出 ME 的远程提权漏洞，Intel 紧急发补丁，全世界才知道自己机器里藏着这么个东西。

ME 是个什么存在？一块独立的协处理器（早期用 ARC 架构，后来换成 x86 小核），只要主板有电它就在线，权限比 ring 0 还高——行话叫 ring -3。它带着完整的 TCP/IP 栈、web 服务器、文件系统、磁盘和 USB 驱动，能远程管理你的机器；而你装的 Linux 或 Windows，对它一无所知，也管不着它。

Tanenbaum 看到新闻后，给 Intel CEO Brian Krzanich 写了封公开信。信里最妙的一句："MINIX 现在大概是 x86 电脑上装机量最大的操作系统了。"他用了 probably，客气；但数字不客气——过去十几年出厂的每一块 Intel 芯片里，都有一个 MINIX 在值班。

1987 年的教学玩具，最后成了全世界部署量最大的操作系统。巨人肩膀的终极形态：不是被站在肩上，是被藏进身体里。

二、如果原生 AI 的操作系统先出现，它大概也会长成这个样子：不住在前台，不抢屏幕，藏在芯片里值班。

想一层：AI 时代的"操作系统"天然是两层的。Agent 住在上面——推理、规划、对话，那是它的"用户态"；下面必须有一层永远在线的东西，管算力分配、管功耗、管设备健康、管密钥。它不推理，它值班。ME 里的 MINIX 就是这层的史前形态：一个不露面的幽灵 OS，用户看不见，应用管不着，但机器离了它不行。

再推演一步：原生 AI OS 的内核会极小，只做两件事——算力阵列的分配与隔离。模型权重、记忆、工具、技能，全是可重启的服务，崩一个拉一个，跟 MINIX 3 的用户态服务器一个路数。界面？借金刚经那句"如来说世界，即非世界，是名世界"——所谓操作系统，即非操作系统，是名操作系统。智能不在界面相上，OS 也不该住在界面里。

范式之眼在这儿也看得见：今天的芯片里已经跑着两个 OS（主 CPU 的通用 OS + ME 协处理器的 MINIX），"一台机器一个内核"的旧假设早就破了。AI-native 时代只会更碎：CPU、GPU、NPU 各有各的固件和调度，OS 的真身是协调它们的"联邦"，而不是独裁的内核。

三、今晚就能亲手试一步。打开终端，敲一行：

dmesg | grep -i mei

Intel 的机器上，大概率能看到 mei_me 驱动加载的记录。那就是你机器里那个 MINIX 的门牌号——它此刻正在运行，你看不见它，但能看见 Linux 内核跟它打招呼的痕迹。

再想一层，落到手边的设备上：MINIX 3 最值钱的设计不是微内核，是"转世服务器"——服务崩了自动拉起来。手边任何一台跑本地模型的机器，或一台边缘计算设备，都可以做个最小实验：写一个故意会崩的推理服务，用 systemd 配上 Restart=always，看它崩了之后自己爬起来、请求不断。重要的不是不死，是死了能自己回来。

发展性研究之眼也可以在这儿照一下：微内核的原理 1980 年代 Mach 就讲透了，MINIX 3 没发明新原理，赢在"先实际后原理"——工程化（小内存、#ifdef 裁剪）+ 找对场景（ME）。原理突破和把原理变成能跑的东西之间，隔着整整一个中间层。

· · ·