20260905-开源操作系统社区技术报告：组件化嵌入式和微内核操作系统
作为2026年开源操作系统社区的一次技术报告，我们邀请到两位同学在星期六（5号）下午3:00来分享他们在开源操作系统实习和硕士学位论文工作中的成果。欢迎有兴趣的人员转发并参加。
详见： https://oscourse-cn.github.io/os2events/2026/0905.html
时间
- 会议时间：2026/09/05 15:00-16:00 (GMT+08:00) 中国标准时间 - 北京
腾讯会议信息
- 会议主题：开源操作系统技术报告
- 入会链接： https://meeting.tencent.com/dm/7rekzefL4BTy
- #腾讯会议：899-384-712
报告提问留言
观众提问留言页面： https://shimo.im/docs/dPkpdbo0d1hmG1kO
上饶师范学院 郑昱可：面向异构多核 SoC 的 AMP 双内核系统 rt-async-amp
报告内容
由于面向吞吐与通用性的设计取向，Linux 等通用操作系统难以提供实时任务所需的确定性；在异构多核 SoC 日益普及的背景下，实时补丁侵入性强、hypervisor 方案开销大，既有方案难以在保留通用软件生态的同时满足实时性需求。本报告介绍 rt-async-amp，一个面向异构多核 SoC 的 AMP 双内核系统：通用大核（AP）运行 Linux 兼容内核（StarryOS），实时小核（RP）运行自研的 Rust async RTOS（rt-async），两核经共享内存与硬件邮箱或核间中断协作。系统以进迭时空 K3 SoC 的 RT24 实时小核（CVA6/RV64GC）为目标平台，同时维护 QEMU 仿真验证路径。本系统有几个关键设计：首先，基于系统分解思想，将实时域从通用内核中剥离到独立小核，AP 侧通用内核基本保持原状；实时侧 RTOS 全部以 Rust 编写，无标准库依赖、无动态内存分配，以语言级类型安全与内存安全为基座，板级驱动经设备树运行时探测实例化，引脚复用与时钟使能在驱动 probe 前自动完成。其次，设计了覆盖内核态与用户态的跨核通信栈：共享内存通道库与跨核 RPC 提供双端对齐的传输与调用语义，共享内存窗口经双端设备树探测认领，用户态经mmap系统提供的设备文件，能在用户态实现零中断开销的双向通信；最后，构建工具链与设备树宏编译链配合环境配置文件统一了 QEMU 仿真与 K3 真板两者，并通过实际的机器人控制应用验证了系统的端到端可用性。
报告幻灯片
清华大学 朱懿：兼容Linux应用的Rust微内核的设计与实现
报告内容
微内核架构虽能提升系统安全性与可靠性，但其发展面临两大核心挑战：其一，现有成熟微内核（如 seL4）的单体式架构导致系统高度耦合，难以演进与维护；其二，用户态系统服务的内存安全无法得到与内核同等级的保障。
本报告介绍了基于seL4的Rust微内核reL4的基本机制和实现设计，介绍了其系统性的组件化的工作，如何将reL4构建成为一个由多个界限清晰的独立组件构成的Rust微内核，以及基于其组件化的解耦工作，如何扩展实现smp和mcs等内核功能。同时，本报告也介绍了如何基于我们构建的组件化reL4微内核，实现了一个用户态兼容层reL4-Linux-kit，通过将系统调用转换为IPC的机制，部分兼容Linux的syscall，使得部分未经修改的Linux二进制程序得以在reL4内核和reL4-Linux-kit兼容层的支持下得以直接运行。
报告幻灯片
报告视频
更多技术报告信息见“开源操作系统社区学术报告”。