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

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

相关推荐

封面图片

Linus Torvalds已经决定将Rust编程语言加入Linux内核

LinusTorvalds已经决定将Rust编程语言加入Linux内核Torvalds已经决定,Rust将很快成为Linux的一部分。这种内存安全的编程语言将加入C语言和其他传统语言,以创建无处不在的开源内核的新部件和驱动程序。围绕将Rust纳入Linux的辩论似乎已经结束。LinusTorvalds,这个开源内核的最初创造者和目前的维护者,已经决定,"除非发生一些奇怪的事情,"Rust将成为Linux6.1最终版本的一部分。PC版:https://www.cnbeta.com/articles/soft/1319041.htm手机版:https://m.cnbeta.com/view/1319041.htm

封面图片

深入分析Linux内核源码

深入分析Linux内核源码本书共分13章,对Linux内核2.4版的源代码进行了较全面的分析,既包括对中断机制、进程调度、内存管理、进程间通信、虚拟文件系统、设备驱动程序及网络子系统的分析,也包括对Linux整体结构的把握、Linux的启动过程的分析及Linux独具特色的模块机制的分析与应用等。其中重点剖析了Linux内核中最基础的部分:进程管理、内存管理及文件管理。本书对于那些准备进入Linux操作系统内部,阅读Linux内核源代码以及在内核级进行程序开发的读者具有非常高的参考价值。同时,操作系统实现者、系统程序员、Linux应用开发人员、嵌入式系统开发人员、系统管理员、在校的大学生和研究生及对Linux感兴趣的用户均可在阅读本书中受益。作者陈莉君老师二十多年来专注Linux内核研究,业余时间主办的Linux内核之旅网站,为Linux爱好者默默提供着无私的帮助,值得一提的是,把自己2002年撰写的《深入分析Linux内核源代码》一书,因为绝版而全文公布于网络,这为嵌入式开发者和Linux内核爱好者提供了触手可得的资料。#电子书#Linux

封面图片

Google宣布推出KataOS操作系统 利用Rust和seL4微内核

Google宣布推出KataOS操作系统利用Rust和seL4微内核Google本周宣布发布KataOS(开发代号Sparrow)作为他们最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。KataOS从设计上就具备安全意识,专门使用Rust编程语言,并建立在seL4微内核的基础之上。PC版:https://www.cnbeta.com/articles/soft/1327663.htm手机版:https://m.cnbeta.com/view/1327663.htm

封面图片

Asahi Linux或继续用Rust为Apple Silicon编写GPU驱动程序

AsahiLinux或继续用Rust为AppleSilicon编写GPU驱动程序尽管有一些逆向开发者在努力为AppleSiliconMac引入Linux支持,但当前的一大阻碍,就是缺乏对GPU硬件加速特性的支持。比如早期的AsahiLinux实验,主要围绕m1n1环境开展。而下一步,他们或继续使用Rust语言来编写AppleAGX的DRM内核图形驱动程序。Phoronix指出,当前AppleM1/M2上的Linux移植工作,还停留在基于LLVM管道的CPU图形加速(或称“软解”)。而知名贡献者AsahiLina表示,他们下一步打算用Rust编程语言,为AppleAGX提供新的内核GPU加速支持。其在周四的rust-for-linux邮件公告列表中写道:AppleSiliconMac的GPU运行固件具有相当复杂的共享内存数据结构,且需要由主机来管理。基于此,我们更倾向于使用Rust,因为它具有更高的安全性、元编程、以及通用表达能力。此前我已用Python编写过一款原型驱动程序,但它是通过远程主机在用户空间里运行的。但若拥抱更高级的编程语言,将对我们的GPU逆向工程、以及基于不同理念的驱动程序设计大有裨益。当然,我有意识到Linux上的Rust支持仍处于早期阶段,但我有雄心通过自愿学习来迎接相应的挑战。在稳定到可以向上游提交之前,驱动程序还需一些时间才能达到稳定(尤其是UAPI)。如果一切顺利,Rust最迟可在接下来几个内核周期中完成合并。PC版:https://www.cnbeta.com/articles/soft/1303641.htm手机版:https://m.cnbeta.com/view/1303641.htm

封面图片

Linux 内核开始为 Rust 1.78 升级做准备

Linux内核开始为Rust1.78升级做准备随着向Rust1.78的转变,这是他们第一次不再需要"alloc"分叉代码,同时也为Linux内核的Rust分配应用程序接口扫清了道路,进而实现其他功能,如就地模块初始化。Rust1.78升级补丁完成升级后,只需丢弃一些多余的导入,并为LockClassKey执行"Default"(默认)作为兼容性更改。Rust1.78新增了"feature(asm_goto)"特性、支持指向Rust静态的可变指针、启用调试断言时检查所有不安全的前置条件等。有关Rust1.78总体变更的更多详情,请访问releases.rs。Rust1.78版本应在5月2日左右发布,以便为下一个内核周期(Linux6.10)的内核代码升级留出时间。...PC版:https://www.cnbeta.com.tw/articles/soft/1425938.htm手机版:https://m.cnbeta.com.tw/view/1425938.htm

封面图片

Nitrux Linux 2.9.1 发布,由 Linux 内核 6.4 提供支持

NitruxLinux2.9.1发布,由Linux内核6.4提供支持Nitrux是一个基于Debian的Linux桌面发行版。Nitrux开发者发布并公开Nitrux2.9.1。Nitrux2.9.1由Liquorix的Linux6.4.8内核系列提供支持。最重要的是,该版本附带了最新的KDE软件,包括KDEPlasma5.27.7LTS桌面环境以及KDEFrameworks5.108和KDEGear23.04.3软件套件等。Nitrux2.9.1下载:nxos.org——

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

启动SOSO机器人