首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://my.oschina.net/u/4489239/blog/5016717

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

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

Tock —— Rust 编写的安全嵌入式操作系统

Tock是一个基于 Rust 语言编写的安全嵌入式操作系统,是一种用于传感器网络和物联网的安全嵌入式操作系统。 Tock 是第一个允许多个不受信任的应用程序在基于微控制器的计算机上同时运行的操作系统。Tock内核使用Rust(一种不依赖垃圾回收器的内存安全系统语言)编写。用户空间应用程序在可以用任何语言编写的单线程进程中运行。 Tock 设计用于在基于Cortex-M和RISC-V的嵌入式平台上运行多个并发的、互不信任的应用程序。 Tock的设计围绕着保护,包括潜在的恶意应用程序和设备驱动程序。 Tock使用两种机制来保护操作系统的不同组件。首先,内核和设备驱动程序是用Rust编写的,Rust是一种提供编译时内存安全、类型安全和严格别名的系统编程语言。Tock使用Rust来保护内核(例如调度器和硬件抽象层)不受平台特定设备驱动程序的影响,并将设备驱动程序彼此隔离。其次,Tock使用内存保护单元将应用程序彼此和内核隔离开来。

System76 为 Pop!_OS 开发桌面环境

老牌 Linux PC 厂商 System76 宣布了专为​​​Pop!_OS 打造的桌面环境 "COSMIC",并表示会将其预装到​​​Pop!_OS 21.04 中,以取代此前使用的 GNOME。为了提供更好的体验,System76 目前正在对 COSMIC 进行优化,因此原定于4 月发布的 Pop!_OS 21.04 将推迟到 6 月发布。 COSMIC 并不是从头开始构建的产品,而是基于GNOME 桌面环境打造,System76 希望以此为基础在Pop!_OS 中提供完善的、经过精心打磨的桌面用户体验。两者最大的区别——同时也是 COSMIC 最大的亮点就是可定制化。System76 认为这是一个优雅的解决方案,它设想通过定制化的方式让桌面更易于使用,对用户而言,这是一项强大且高效的特性。 下面简单介绍 COSMIC 的部分亮点。 工作空间和应用 (Workspaces and Applications) 在 COSMIC 中,GNOME 原来的 Activities Overview 被划分为两个不同的视图,分别是工作空间和应用 (Workspaces and Applica...

相关文章

发表评论

资源下载

更多资源
Mario

Mario

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

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册