Genode OS 22.08 发布,开源操作系统框架

Genode OS 22.08 已正式发布。

Genode 操作系统框架是一个用于构建高度安全的专用操作系统的工具包。它可以从只有 4MB 内存的嵌入式系统扩展到高度动态的通用工作负载。

Genode 基于递归系统结构。每个程序都在专门的沙箱中运行,并且仅授予其特定用途所需的访问权限和资源。程序可以利用自己的资源创建和管理子沙箱,从而形成可以在每个级别应用策略的层次结构。该框架提供了让程序相互通信和交换资源的机制,但只能以严格定义的方式进行。由于这种严格的制度,与当代操作系统相比,安全关键功能的攻击面可以减少几个数量级。

该框架将 L4 的构建原则与 Unix 哲学保持一致。根据 Unix 哲学,Genode 是一组小型构建块的集合,从中可以组成复杂的系统。但与 Unix 不同的是,这些构建块不仅包括应用程序,还包括所有经典的操作系统功能,例如内核、设备驱动程序、文件系统和协议栈。

特性

  • CPU 架构:x86(32 和 64 位)、ARM(32 和 64 位)、RISC-V

  • 内核:L4 家族的大多数成员(NOVA、 seL4、 Fiasco.OC、 OKL4 v2.1、 L4ka::Pistachio、 L4/Fiasco)、Linux 和自定义内核。

  • 虚拟化:VirtualBox(基于 NOVA)、ARM 的自定义虚拟机监视器和 Unix 软件的自定义运行时

  • 超过 100 个随时可用的组件

本次更新的一大重点是使 Genode OS 作为一个智能手机操作系统更加实用

附带 SculptOS 通用操作系统的 Genode OS 将目光投向了作为手机操作系统运行。特别是,迄今为止的大部分工作都集中在让 Genode OS/Sculpt 在 PinePhone 上运行良好。

团队在发布公告中写道

自从我们为 PC 创建 Sculpt OS 以来,基于 Genode 的智能手机的愿景无疑是我们最雄心勃勃的事业。在过去的两年里,我们在瞄准 PinePhone 硬件的同时,不懈地追求这一愿景。工作范围从系统控制处理器的定制固件,到内核开发、种类繁多的设备驱动程序,再到用户界面和应用程序级别。在 Genode 22.08 中,这些努力最终形成了第一个完整的系统——Sculpt OS 的手机变体。

Genode OS 及其 Sculpt OS 在移动设备方面的工作一直是使用语音通话功能、使用 Morph 进行移动互联网浏览等。他们一直致力于改进在 PinePhone 上运行的各种底层硬件支持,以及改进堆栈以确保应用程序可以工作。

作为硬件工作的一部分,他们还将 Lima 开源 Arm Mali 400 驱动程序从 Linux 移植到了 Genode。他们已经使用 GPU 加速运行了基本的 GLMark2 测试用例,他们的 Lima 驱动程序支持将改善他们的 Morph Web 浏览器体验。

Genode OS 展示了移植 Ubuntu Touch UI 以在 Genode 上运行。

Release Note

优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/208862/genode-os-framework-22-8-released

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

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

相关文章

发表评论

资源下载

更多资源
Mario,低调大师唯一一个Java游戏作品

Mario,低调大师唯一一个Java游戏作品

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Oracle Database,又名Oracle RDBMS

Oracle Database,又名Oracle RDBMS

Oracle Database,又名Oracle RDBMS,或简称Oracle。是甲骨文公司的一款关系数据库管理系统。它是在数据库领域一直处于领先地位的产品。可以说Oracle数据库系统是目前世界上流行的关系数据库管理系统,系统可移植性好、使用方便、功能强,适用于各类大、中、小、微机环境。它是一种高效率、可靠性好的、适应高吞吐量的数据库方案。

Eclipse(集成开发环境)

Eclipse(集成开发环境)

Eclipse 是一个开放源代码的、基于Java的可扩展开发平台。就其本身而言,它只是一个框架和一组服务,用于通过插件组件构建开发环境。幸运的是,Eclipse 附带了一个标准的插件集,包括Java开发工具(Java Development Kit,JDK)。

Java Development Kit(Java开发工具)

Java Development Kit(Java开发工具)

JDK是 Java 语言的软件开发工具包,主要用于移动设备、嵌入式设备上的java应用程序。JDK是整个java开发的核心,它包含了JAVA的运行环境(JVM+Java系统类库)和JAVA工具。