世界上首个被数学证明安全的操作系统微内核 seL4 成立基金会 Cloudopt Next 更新至 2.0.2,基于 Kotlin、Vertx 的 Web 框架 Sentinel 1.7.2 发布,完善开源生态及扩展性 国产12nm 4核处理器稳了?龙芯中科宣布两大好消息 exFAT 文件系统最新驱动程序已进入 Linux 5.7 内核 微软宣布推出 IPE,解决 Linux 的代码完整性问题 GuiLite是:1 + 1,不是二选一