文章插图
【微软提交补丁,用Linux替代Hyper-V根分区的Win】
• 空客选择 Ada 开发无人驾驶航空系统 • 微软推出全新开源 BUG 寻找工具• 作者:硬核老王 •
(本文字数:739,阅读时长大约:1 分钟)
微软提交补丁,用 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
推荐阅读
- 杀毒软件|微软Defender又翻车!Chrome更新被当做可疑活动
- Win10卸载Cortana微软小娜的方法
- 微软:用户安装第三方杀毒软件后将自动关闭Defender
- 索尼|效仿微软:索尼也要在PS游戏里插广告了
- 微软|Win11新版终于改回来了:强迫Edge默认浏览器这一大槽点没了
- 使用微软的 ProcDump 调试 Linux 进程
- 浏览器爆出严重漏洞,谷歌、微软、Opera电脑版和安卓版都受影响
- 微软|自家设备首发:Win11测试“Voice Clarity”语音降噪功能
- “轻量级的”Istio,微软开源了一个基于 Envoy 的服务网格
- iMac|微软尴尬了!2006年“古董级”iMac也能装Win11:正常运行无压力