还有鸿蒙2.0！
分布式微内核形式化验证操作系统！
【 在 sixue1999 (宋似雪) 的大作中提到: 】
: 放眼望去，未来二十年都看不到重写操作系统的需求
: 所以系统语言根本没有任何机会
: 最近二十年，看上去最像风口的机会也就是andorid和ios的崛起
: ...................
--
FROM 111.30.252.*