微软提交补丁,用 Linux 替代 Hyper-V 根分区的 Windows

通过这些 Linux 内核补丁,Linux 将作为 Hyper-V 的根分区运行,替代原本的 Windows,从而可以使用 Linux 和微软 Hypervisor 创建完整的虚拟化栈。就像 Xen 的 Dom0 一样,根分区可以直接访问硬件,并为其托管的虚拟机创建子分区。

来源:slashdot

拍一拍:在拥抱开源的大潮之下,微软能走出 Windows 的世界,在更多场景使用更合适的开源组件,胸怀可观。

空客选择 Ada 开发无人驾驶航空系统

法国空中客车直升机公司宣布选择 AdaCore 公司的 GNAT Pro Ada 工具套装和 Ada 语言开发 VSR700 原型项目的无人驾驶航空系统。Ada 是一个有 40 年历史的结构化、静态类型、命令式和面向对象的高级编程语言,由 Pascal 及其他语言扩展而成,它在几十年前就解决了今天 Rust 语言试图解决的部分内存安全问题。

来源:solidot

拍一拍:老树新花。既然 ADA 仍然有优势,为何这些年没兴起呢?

微软推出全新开源 BUG 寻找工具

作为已经退休的 Security Risk Detection Service 继任者,该工具是面向 Azure 的开源自托管开发者模糊测试平台。模糊测试本质上是通过严格的测试过程来消除可利用的安全漏洞,包括用大量随机数据淹没相关程序。Project OneFuzz 试图利用开源的 LLVM 编译器,从而让模糊测试变得更容易、更可持续。该测试框架已经被用于其他微软服务和平台。

来源:cnbeta

拍一拍:开源项目能够互相促进发展

添加新评论