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


相關推薦

2022-06-02

Genode 操作系统框架是一个用于构建高度安全的专用操作系统的工具包,从嵌入式设备扩展到动态通用计算。 Genode 基于递归系统结构。每个程序都在专门的沙箱中运行,并且仅授予其特定用途所需的访问权限和资源。该框架提

2022-12-05

Genode OS 22.11 已正式发布。 Genode 操作系统框架是一个用于构建高度安全的专用操作系统的工具包。它可以从只有 4MB 内存的嵌入式系统扩展到高度动态的通用工作负载。 Genode 基于递归系统结构。每个程序都在专门的沙箱中

2022-08-23

成为了官方 KDE 项目的一部分。 近日,Kdenlive 22.08 正式发布,该版本带来了许多用户界面改进,改进了剪辑标记系统,修复了各种 UI,对录音界面进行了大修,效果区域也得到了改进。 格式方面,Kdenlive 22.08 新增支持导入 AVIF

2022-08-19

ARM 设备制作安装镜像的基础工具。 Manjaro ARM 团队近日发布了 Manjaro ARM 22.08 ,Manjaro ARM 22.08 是在 Manjaro ARM 22.06 之后的两个月发布的,该版本带来了一下更新内容: 该版本默认为所有版本引入 PipeWire 新版本带来了对 Orange

2022-07-27

Kate 22.08 已发布,此版本是常规的增量更新,包含一些小改进和错误修复。 Kate 是一个具有众多功能的文本编辑器。Kate 的功能非常丰富,可以让你更轻松地查看和编辑所有的文本文件。Kate 可以让你同时编辑和查看多个文件

2022-09-01

月提供一次稳定版本,由最近的 LTS 内核驱动,喜欢滚动发布的用户可以检查 EDGE 版本,这些版本使用来自 sid、hirsute 或 impish userland 的最新每日内核构建。 目前 Armbian Linux 22.08 已发布,新版本越来越接近 Linux 桌面版,带来了

2023-11-18

。 根据官网的介绍,Xiaomi Vela是小米基于开源实时操作系统NuttX打造的物联网嵌入式软件平台,Vela在各种物联网硬件平台上提供统一的软件服务,支持丰富的组件和易用的框架,打通碎片化的物联网应用场景。‘Vela’ 一

2022-08-19

KaOS 2022.08 已发布,此版本带来了很多变化,首先是引入用于处理音频、视频流和硬件的 PipeWire 服务器作为默认的声音/低级多媒体框架。其次是移除 QtWebKit,所有仍然依赖 QtWebKit 的项目将迁移到 QtWebEngine。 此版本还改进了安装

2023-12-05

区秘书长、技术委员会委员余杰受邀分享《人工智能时代操作系统的机遇与挑战》主题演讲,从产业和学术两个维度来介绍操作系统助力人工智能快速发展(OS for AI)、操作系统智能化支撑技术(OS with AI)和操作系统支撑下的

2023-12-01

的执行平台,是现阶段AI算法开发的必备工具。 目前在操作系统上安装AI框架并不是件容易的事情,需要安装合适的显卡驱动、加速工具、依赖软件以及配置系统环境等。每一个环节出问题都会导致AI框架安装失败。为了让AI开

2023-10-18

人、董事长兼 CEO 雷军今天在个人微博宣布,小米全新的操作系统小米澎湃OS(Xiaomi HyperOS),正式版已完成封包。小米 14 系列,第一款搭载新系统的手机,已交付工厂开始生产。 今天,对小米来说,是一个历史性时刻。小米

2023-10-25

延伸阅读 小米澎湃OS界面曝光 雷军:小米全新操作系统澎湃 OS 正式版已完成封包

2022-04-02

视野。Fuchsia OS 是 Google 在 Android 和 Chrome OS 以外的又一个操作系统,但与后两者不同的是,F... Chrome 100 现已升级为稳定版,适用于 Linux / macOS / Windows / Chrome OS。“Chrome 团队很高兴地宣布,Chrome 100 已推广到 Windows、Mac 和 Linux

2022-04-02

个补丁,补丁内容通常包括质量更新、关键错误修复、对操作系统版本更新的支持,以及可能的安全修复。 但是这额外扩展的两年支持并不适用于所有用户,仅限于订阅了 Qt Subscription License 的客户。 扩展支持是一项延长 EoS