:一个安全、快速、通用的操作系统内核。 它提供于Linux相同的ABI,可无缝运行Linux应用, 但比Linux更加内存安全和

:一个安全、快速、通用的操作系统内核。 它提供于Linux相同的ABI,可无缝运行Linux应用, 但比Linux更加内存安全和开发者友好。 Asterinas在内存安全性方面远胜Linux。 它使用Rust作为唯一的编程语言, 并将unsafe Rust的使用限制在一个明确定义且最小的可信计算基础(TCB)上。 这种新颖的方法, 被称为框内核架构, 使星绽成为一个更安全、更可靠的内核选择。 而在开发者友好性方面,Asterinas优于Linux。 它赋能内核开发者们使用生产力更高的Rust编程语言;利用一个专为内核开发者设计的工具包(称为OSDK)来简化他们的工作流程;享受MPL所带来的灵活性, 可自由选择开源或闭源他们为Asterinas所开发的内核模块或驱动。

相关推荐

封面图片

美国政府建议使用内存安全编程语言 C/C++都被排除在外

美国政府建议使用内存安全编程语言 C/C++都被排除在外 为什么大型科技公司都关注 Rust 呢?因为相对来说,Rust 安全性更高,微软认为通过 Rust 重新编写某些组件有助于提高内存安全性。日前美国政府下属的 ONCD 办公室发布了一份报告就详细介绍了建议开发者们使用各种内存安全编程语言,尽管 ONCD 没有明确罗列哪些语言是内存安全编程语言,但强调了 C 和 C++ 缺乏与内存安全相关的特征,因此实际上就是不建议开发者使用 C 和 C++。需要强调的是,这里只是从内存安全角度出发来建议,并不是评判一种编程语言的好坏,ONCD 称如果软件一开始就选择使用内存安全编程语言的话,那么可以提高安全性。报告也没有建议使用哪些内存安全语言来替代 C 和 C++,毕竟只是建议,实际上开发者和企业如何选择编程语言还是开发者们自己的事情,毕竟也要考虑到软件本身。 ... PC版: 手机版:

封面图片

,来自 GitHub 上一位 Linux 内核开发者分享的 #Linux 内核安全防御图。将漏洞、开发技术、错误检测机制等几大分

,来自 GitHub 上一位 Linux 内核开发者分享的 #Linux 内核安全防御图。将漏洞、开发技术、错误检测机制等几大分类归纳于图表之中,借助图形的方式,更为直观的表达 Linux 内核安全的状态

封面图片

Linus Torvalds 宣布推出首个 Linux Kernel 内核 6.1 RC 预览版:初步支持 Rust 编程语言

Linus Torvalds 宣布推出首个 Linux Kernel 内核 6.1 RC 预览版:初步支持 Rust 编程语言 Linus Torvalds 已经启动即将到来的 Linux 6.1 内核系列的开发周期,并在今天宣布了第一个候选发布版(RC),支持公共测试。 随着 10 月 2 日 Linux 内核 6.0 的发布,为期两周的合并窗口现已关闭,现在是时候提前体验下一个重要版本 Linux 内核 6.1 了。 Linux 内核 6.1 的第一个候选版本(RC)现在已经发布,并准备好让测试者、早期采用者和尝鲜用户使用,最终版本预计在 2022 年 12 月初或中旬发布。 Linux 6.1 最大的新功能将是合并 Rust 基础设施代码。然而,目前只是对 Rust 编程语言支持的非常基本的实现,还不能用于实例。 更多详细信息可前往:

封面图片

有旧的 iPad 吗?您可能很快就能让它运行 Linux

有旧的 iPad 吗?您可能很快就能让它运行 Linux 如果你有一台2013年或2014年的iPad,它不再能得到苹果公司的更新,也不再能运行你需要的应用程序,于是被闲置了,先别扔掉,一些开发者正在为您开发一个替代软件解决方案。 开发者和一位名叫 “quaack723” 的Linux爱好者合作, ,这对一台被设计为从未运行过苹果以外的任何操作系统的设备来说是一个重大的壮举。 该项目似乎使用了一个基于的发行版,名为 "postmarketOS",这是一个相对较小但积极开发的发行版,。Dybcio 在他关于该项目的最初推文中使用了 “Checkm8” 标签,。目前,开发者只在一些使用A7和A8芯片的旧iPad硬件上运行Linux 这包括 iPad Air、iPad Air 2 和几代 iPad mini。但随后他们发布的推文暗示,将有可能让Linux在任何装有A7或A8的设备上运行,包括 iPhone 5S 和最初的HomePod。 这并不是唯一一个致力于在苹果硬件上运行 Linux 的项目。另一个名叫 Asahi Linux 的项目也在做同样的事。还有一个项目叫 Project Sandcastle,已经在iPhone 7上建立并运行了一个Android系统。 这个最新的 Linux-on-iDevices 的开发工作 。开发者分享的照片都只是显示了一个基本的启动过程,但由于无法加载文件系统而失败,Dybcio 指出,像USB和蓝牙支持这样的基本东西没能正常工作。让网络、音频和图形加速都能正常工作也将是一项艰巨的任务。但是能够启动 Linux 就足够会引起其他想要帮助这个项目的开发者的注意。 #apple #Linux

封面图片

Linux DRM Panic 死机屏幕将能支持二维码

Linux DRM Panic 死机屏幕将能支持二维码 Linux 6.10 引入了 DRM Panic,提供了类似 Windows 蓝屏死机的功能,在屏幕上显示内核错误信息。但内核错误信息通常很长,尤其是它如果包含堆栈跟踪的话。现在 Red Hat 开发者 Jocelyn Falempe 发布了补丁,提供了将错误信息转换为二维码的功能(类似微软的做法),允许用户通过智能手机扫描去捕捉错误信息,方便以后进行分析,或将其添加到 bug 报告里。Falempe 使用 Rust 语言开发了 DRM Panic QR 代码。他表示没有特殊理由,只是想学习下 Rust。 via Solidot

封面图片

Tock 是一个嵌入式操作系统,设计用于在基于 Cortex-M 和 RISC-V 的嵌入式平台上运行多个并发的、相互不信任的应

Tock 是一个嵌入式操作系统,设计用于在基于 Cortex-M 和 RISC-V 的嵌入式平台上运行多个并发的、相互不信任的应用程序。 Tock 的设计以保护为中心,防止潜在的恶意应用程序和设备驱动程序。 Tock 使用两种机制来保护操作系统的不同组件。 首先,内核和设备驱动程序是用 Rust 编写的,Rust 是一种提供编译时内存安全和类型安全的系统编程语言。Tock 使用 Rust 来保护内核(例如调度程序和硬件抽象层)免受平台特定设备驱动程序的影响,并将设备驱动程序彼此隔离。 其次,Tock 使用内存保护单元将应用程序彼此隔离并与内核隔离 |||

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人