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


Genode OS 22.11 已正式发布。

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 个随时可用的组件

在从 Linux 移植最新的图形驱动程序代码,并更改其英特尔图形多路复用器设计后,他们现在通过 Genode OS 22.11 支持英特尔 Gen12 级图形。如果想在最新一代英特尔硬件上享受加速的图形效果,这对于 Genode 的 Sculpt OS 通用操作系统来说尤其是个好消息。

Genode OS 22.11 还在 PinePhone 支持、Arm 和 x86_64 的虚拟化改进、可配置的英特尔 HWP 模式、各种设备驱动改进、通过 HTTP 的启动加载以及其他补充方面带来了更多开发资源。

详情查看 Release Notes。


相關推薦

2022-09-02

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

2022-06-02

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

2022-12-04

NixOS 作为围绕独特的 Nix 软件包管理器构建的 Linux 发行版,推出了今年的最后一个版本。 NixOS 在这个版本中为 nixpkgs 增加了 16678 个新的软件包和 14680 个更新软件包,该版本还删除了 2812 个软件包,以保持软件包集的可维护性

2022-12-06

月提供一次稳定版本,由最近的 LTS 内核驱动,喜欢滚动发布的用户可以检查 EDGE 版本,这些版本使用来自 sid、hirsute 或 impish userland 的最新每日内核构建。 Armbian 22.11 版本已发布发布,此版本的重大更改包括:引入了对 Banana

2023-11-18

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

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

2022-04-02

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

2023-07-13

会2023(Cloud)期间,由华为云开源主导的“5大开源项目发布与更新,多种底层能力助力开发者实现应用创新”分论坛圆满落幕。 在本次分论坛中, 华为云开源业务总经理邓明昆介绍了华为云开源的发展现状与规划,并正式对

2022-10-28

Zorin OS 16.2 已发布,此版本进一步提升了桌面体验,比如: 更容易安装 Windows 应用程序 对于希望在 Zorin OS 中使用 Windows 应用程序和游戏的用户,可以更轻松地查找和安装 Windows 应用程序支持。 现在只需打开 Zorin 菜单,导航