首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/140775/chrome-media-control

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

RISC-V 和 seL4 基金会宣布新的安全里程碑

旧金山,2021 年 5 月 5 日——今天,seL4 基金会和 RISC-V International 宣布,在 CSIRO 的 Data61 中,经过验证的 RV64 架构上的 seL4 微内核已经被证明到可执行代码,这要感谢 HENSOLDT Cyber GmbH 提供的资金。这保证了 RV64 上的 seL4 微内核即使是用不可信的 C 编译器 GCC 构建的,也能按照规范操作。 在开放协作社区内或跨开放协作社区,在共同感兴趣的领域进行合作是至关重要的。RISC-V 和 seL4 很高兴地宣布他们的进展和他们的联盟,他们联合力量使更强的整体安全,结合面向安全的体系结构和操作系统设计。 “我们很高兴能成为第一个拥有安全的操作系统内核的架构,拥有如此强大的正式验证故事。”RISC-V International 首席技术官 Mark Himelstein 说:“RISC-V 正在继续增加包含 ISA 的安全特性,而安全的 seL4 内核是一个自然的补充。” “这是 seL4 的另一个里程碑,它继续定义着操作系统安全的最新水平。”seL4 基金会主席 Gernot Heiser 教...

Linux 5.10 LTS 将持续维护至 2026 年年底

Linux 5.10 LTS 作为最新的长期支持版本在当初推出时只计划维护到 2022 年底,但在有足够多的公司介入来改善和测试之后,Linux 5.10 LTS 现在将被维护到 2026 年底。 Linux 5.10 LTS 原本只计划维护到明年年底,而之前的内核如 Linux 5.4 LTS 将会被维护到 2024 年,甚至更早发布的 Linux 4.19 LTS 和 4.14 LTS 也会被维护至 2024 年。相比之下,Linux 5.10 LTS 的生命周期显得就很短暂,这主要是因为此前帮助测试新的候选版本和承诺使用这个内核 LTS 系列的开发者和组织的数量有限导致的。但是现在有足够的参与者加入到 5.10 LTS 中,Greg Kroah-Hartman 确认他将和 Sasha Levin 共同维护该版本直至 2026 年 12 月。 这将使 Linux 5.10 LTS 获得六年的持续维护。同时,Linux 4.4 LTS 在运行六年后将于明年年初结束支持。 这对 Debian 11、以及 Android 12 操作系统等一系列使用 Linux 5.10 内核的分支系统而...

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

近一个月的开发和优化,本站点的第一个app全新上线。该app采用极致压缩,本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

用户登录
用户注册