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

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

相关推荐

封面图片

SemiAnalysis:苹果部分嵌入式核心正加速转向 RISC-V 架构

SemiAnalysis:苹果部分嵌入式核心正加速转向 RISC-V 架构 半导体产业分析机构 SemiAnalysis 分析师 Dylan Patel 表示,苹果正将其嵌入式芯片核心指令集从 ARM 架构的转向 RISC-V 架构,谷歌也将在 TPU 上应用来自 SiFive X280 核心的部分设计。 例如现有 Apple A15 仿生芯片就有十几个基于 Arm 的 CPU 内核分布在芯片上,用于各种不会直接面向用户的功能。SemiAnalysis 可以确认这些内核在未来几代硬件中积极转向 RISC-V 架构。 还有人指出,RISC-V 作为一款在 BSD 开源的硬件架构,按照苹果一贯的行事风格来看,他们一定不会直接用 RISC-V,而且经过魔改后闭源(或许会命名为 Apple ISA)再搭配自家闭源系统进行整体营销,类似 A10 之后 CPU 中的指令集模式。 来自:雷锋 频道:@kejiqu 群组:@kejiquchat 投稿:@kejiqubot

封面图片

RISC-V 现在支持 Linux 内核中的 Rust

RISC-V 现在支持 Linux 内核中的 Rust Rust 在主线 Linux 内核中的使用仍然相当有限,迄今为止只有几个基本驱动程序,而且还在进行大量的基础架构工作,但有许多新驱动程序和其他子系统支持即将推出。RISC-V 现在支持 Linux 内核中的 Rust,这在未来将变得更加重要。Linux 6.10 的 RISC-V 更新还增加了字节/半字比较交换功能、hwprobe 中的 Zihintpause 支持、PR_RISCV_SET_ICACHE_FLUSH_CTX prctl(),以及无锁 lockrefs 支持。有关 Linux 6.10 RISC-V 更新的更多详情,请参阅Git 合并。在硬件方面,除此请求之外,还有Milk-V Mars 支持和其他新增功能。 ... PC版: 手机版:

封面图片

嵌入式Rust之书本书是使用Rust在如微控制器(MCU)的"裸金属"嵌入式系统上编程的引导

嵌入式Rust之书 本书是使用Rust在如微控制器(MCU)的"裸金属"嵌入式系统上编程的引导 这本书的目标是: ·让开发者快速上手Rust嵌入式开发. 例如, 如何建立开发环境 ·分享当前使用Rust进行嵌入式开发的最佳实践. 例如, 如何最好地使用Rust编写更加正确的嵌入式应用 ·在某些情况下提供一个开发指南. 例如, 如何在一个项目中混用C与Rust. 本书试着尽可能涵盖各种体系, 但是为了让读者与作者~~还有翻译~~更轻松,在所有实例中都是用ARM Cortex-M架构,但本书并不建立在读者熟悉该架构的基础上, 会在需要的地方解释架构的细节 | #电子书 #Rust

封面图片

物联网开发+嵌入式开发 - 带源码课件

物联网开发+嵌入式开发 - 带源码课件 描述:嵌入式与物联网开发是一个涉及硬件、软件以及网络技术的综合领域,它的应用范围广泛,从智能家居到医疗设备,再到工业自动化,都有嵌入式与物联网技术的身影。以下是一些关于嵌入式与物联网开发的教程和案例。 链接: 大小:NG 标签:#学习 #知识 #课程 #资源 来自:雷锋 频道:@Aliyundrive_Share_Channel 群组:@alyd_g 投稿:@AliYunPanBot

封面图片

《华清远见嵌入式人工智能课程》

《华清远见嵌入式人工智能课程》 简介:该课程聚焦嵌入式系统与人工智能技术的深度融合,培养学员在智能硬件开发、边缘计算部署等领域的实践能力。内容涵盖AI算法在低功耗设备上的优化、传感器数据处理及实时系统设计,适用于物联网、工业自动化等场景开发。 亮点:结合嵌入式硬件特性讲解AI模型轻量化技术,通过真实项目实战(如智能家居控制、工业机器人)掌握边缘端AI部署全流程,配套行业级开发工具链及开源框架应用。 标签:#嵌入式系统 #人工智能 #边缘计算 #模型优化 #项目实战 #华清远见 链接:https://pan.quark.cn/s/3be1daf233aa

封面图片

JEDEC 发布 XFM 嵌入式与可移动存储设备标准

JEDEC 发布 XFM 嵌入式与可移动存储设备标准 全称 Crossover Flash Memory; 使用 PCIe 和 NVMe 技术; 18mm x 14mm x 1.4mm; 32 pin,最高 PCIe x2 Gen 5,不能热插拔; 提供 2.5V 和 1.2V 两种电压 主要由 KIOXIA 和 MTK 合作开发。(,) 从命名和外形上都让人联想到东芝之前发布的 ,只不过后者尺寸更大,pin更多,支持PCIe x4。估计是简化、缩小一下就拿来用了。 不支持热插拔,所以基本上是个嵌入式的 M.2,与 eMMC 和UFS 竞争

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

启动SOSO机器人