第11期 | 在 Minix 的作坊里,造 Minix 的掘墓人

操作系统 · · 九羲科技

一、Linux 线

敢写操作系统,是因为手里有作坊

1991 年 8 月那封帖子里,有句话常被略过:

"I've currently ported bash(1.08) and gcc(1.40), and things seem to work."

bash 和 gcc 已经移植过来,跑起来了。移植到哪里?移植到他自己的内核上。而开发这件事本身,是在 Minix 里发生的。英文维基"History of Linux"写得干脆:

"Development was done on MINIX using the GNU C Compiler."

编译器是 Bruce Evans 移植到 Minix-386 上的 GCC 1.40。Linux 最早的每一行代码,都是在"对手"的作坊里写出来的。

0.01(1991 年 9 月 17 日)传上 FTP 时,没敢公开宣布——Linus 三十年后自己承认,只私下邮件了几个表示过兴趣的人。第一个公开版本是 0.02:1991 年 10 月 5 日,帖子开头是写给黑客的暗号:

"Do you pine for the nice days of minix-1.1, when men were men and wrote their own device drivers?"

正文汇报战果:

"I've successfully run bash/gcc/gnu-make/gnu-sed/compress under it."

bash、gcc、make、sed、compress,全在他自己的内核底下跑起来了。但别误会:0.02 自己还编译不了自己,编译还得靠 Minix。这时的 Linux,是个住在别人作坊里的房客。

所以"一个人为什么敢写操作系统",答案比想象中朴素:敢,是因为手里有作坊。作坊解决三件事:能编译(GCC 在手)、能验证(bash 跑起来才算数)、能兜底(玩崩了重启,Minix 还在)。三样齐了,勇气才是勇气;缺一样,勇气就是莽。

顺带记一笔这间作坊的来历。1991 年 1 月 5 日(据公开资料),他用圣诞和 21 岁生日的钱、贷了三分之一,抱回那台 386——33MHz,4MB 内存,40MB 硬盘,18000 芬兰马克。Minix 的软盘在路上走了一个月才到。这个等待的冬天,他在 DOS 上玩《波斯王子》,顺手把 386 的任务切换摸了个透——第 6 期讲过,那两个一个打印 A、一个打印 B 的小进程。作坊,是冬天里一点点攒出来的。

二、原生 AI OS 线:先寄生,再独立

如果 AI 的操作系统先出现,它也不会从零开始造作坊。它会先寄生。

2024 年的 AIOS(Mei et al., arXiv:2403.16971)就是这么干的:不碰硬件,先在现有 OS 之上搭一层"LLM 专属内核"——agent 调度、上下文管理、工具调用,全寄生在 Linux 上面。寄生,是 OS 级野心最诚实的起点:先借别人的作坊证明自己能活,再谈独立。

推演下去:原生 AI OS 的"敢",同样来自作坊——只不过它的作坊不是编译器,而是"世界模型即内存"。它先寄生在人类的 OS 里学会走路(今天的 agent 本来就跑在 Linux 上),等到某一天,它管理的不是进程而是意图、不是文件而是记忆,独立就只是顺水推舟。

这里有个张力值得记一笔,方向和当年反过来了:Linus 那会儿,是硬件(386 的保护模式、分页)往前走了一大步,软件(守着 16 位的 Minix)在原地梦游,他顺着硬件的方向捅了一刀;今天,是算力主体(非线性向量阵列)往前走了一大步,OS 的抽象(进程、线程、线性地址空间)还在原地梦游。旧抽象与新硬件的错位,就是下一轮"敢"要钻的裂缝——第 61 章再讲透。

三、动手线:今晚复刻"作坊时刻"

在你 3090 的机器上,用 Ollama 跑一个五十行的极简 agent 循环,复刻 Linus 的作坊时刻。思路很直:Python 写个死循环,每轮把一条"传感器读数"(一段摄像头画面描述、一行系统日志)喂给本地模型,让它输出一个"动作"(调哪个工具),执行完把结果喂回去。

别追求智能,追求"闭环先转起来"——Linus 的第一个里程碑也不是内核,是"bash 能跑"。你会观察到一个有意思的现象:循环转起来之后,它像个微内核——模型是调度器,工具是驱动,提示词是系统调用表。而"感知—比较—执行"这个回路,正是维纳 1948 年《控制论》里写下的东西,也是 OS 里调度、中断、信号的共同祖先。

映射到九羲:xuanora 的研判层、RK3588 的边缘推理,都不必等"原生 AI OS"——先在 Linux 上搭一个寄生的 agent runtime,让它在真实视频流上跑通"事件检索→告警研判"的闭环。作坊先立,再谈革命。缺什么:一个人周;谁来做:xuanora 研发侧;要多久:两周能看到第一个转起来的闭环。

觉 然 小 注

孙过庭《书谱》:"贵能古不乖时,今不同弊。"(化用)Linus 恰是这句话的注脚:作坊借 Minix 的(古不乖时),路子走 32 位保护模式的(今不同弊)。敢,从来不是凭空来的——是站在一个能兜底的作坊里,往没人走过的方向,多迈一步。

· · ·

← 返回资讯中心