第23期 | 一张许可证：Minix 晚自由了十三年

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

一、Linux 线

1987 年，Minix 1.0 跟着 Tanenbaum 的教材《Operating Systems: Design and Implementation》一起，由 Prentice Hall 出版。书的附录里印着 12,010 行 C 源码——内核、内存管理、文件系统三件套；另有八张 5.25 寸软盘加一本 500 页手册，打包卖 69 美元。Tanenbaum 后来自己回忆：这基本就是制造成本，出版社卖软件是顺手，真正想卖的是书。

源码全开放，随便读、随便改——但许可证里有一句：不得再分发。看得见，摸得着，传不出去。九十年代，爱好者给 Minix 写的补丁大多石沉大海：项目攥在教授手里，外部贡献很少被接受。

1991 年，Linus 把 Linux 放在 GPL 之下：免费下载，随便改，随便传，唯一的条件是——你的改动也得同样开源（copyleft 的传染性）。一边是"看得见源码的商品"，一边是"传得开的自由软件"。1992 年论战里 Linus 那句 as my source is freely available, anybody is free to try to port it（O'Reilly 存档可查），说的正是这件事。

2000 年 4 月，Minix 终于改用 BSD 3-Clause 许可证——自由了，晚了十三年。BSD 比 GPL 更松：拿去闭源商用也行。微妙的是，这份宽松恰恰成了 Minix 后半生的通行证：后来 Intel 把 MINIX 3 塞进每一颗 CPU 的 Management Engine（第 21 期讲过），GPL 的代码进不了那个暗室，BSD 的可以。一张许可证，决定了谁进得了芯片。

反常识的细节：Minix 的源码比 Linux 早四年、更干净、更适合教学，却因为"传不出去"，社区始终长不大。决定命运的不是代码质量，是分发的自由。自由不在纸上，在传输里。

二、原生 AI OS 线：推演。

如果 AI 的操作系统先出现，它的"许可证"会长什么样？代码的概念被权重取代，GPL 的传染性条款（衍生作品必须同样开源）在神经网络上立刻卡壳：微调算不算衍生？蒸馏算不算？用模型生成数据再训练算不算？今天的开源模型许可证已经在笨拙地回答这些问题。

推演一格：原生 AI OS 的许可证可能不再约束"代码复制"，而约束"能力扩散"——比如"推理可在本地无限运行，训练数据的血统必须可追溯"。许可证从"代码的法律"，变成"能力的契约"。

更深一层，Minix 的教训可以翻成 AI 时代的版本：当年是"分发权大于阅读权"，今天是"运行权大于权重所有权"。权重文件躺在硬盘里一文不值，跑起来的那一刻才产生权力。谁掌握了"能跑"的入口，谁就掌握了生态。

三、现在动手线：落到今晚能试的一步。

手边任何一台 Linux 机器，跑两条命令，看两种自由的差别：「curl -s https://raw.githubusercontent.com/torvalds/linux/master/COPYING | head -20」——GPL v2，找到 derivative works 那句；再找个 BSD 项目的 LICENSE 读第一句：Redistribution and use in source and binary forms … are permitted。你会观察到：GPL 在谈"条件"，BSD 在谈"允许"。一个设门槛，一个开大门。

对今天做企业私有化 AI 交付的团队（发展性研究的视角——杨振宁 1981 年信里说的中间层）：许可证不是法务部的事，是产品战略。每一层的许可证策略都不同：本地跑的开源模型权重，商用许可扫过没有；边缘盒固件里静态链接的开源组件，GPL 传染性扫过没有；给客户的私有化部署，给的是"源码"还是"运行权"；沉淀下来的客户数据，血统可追溯吗？这四个问题，今晚就能列成检查表——把"原理变成能跑的东西"，先从"能合法地跑"开始。

· · ·