签到&交流

嘉宾致辞

议题一：基于Rust开发操作系统内核的一些思考

从 2018 年到 2024 年，我们与学生一起，尝试基于 Rust 开发 OS 内核，经历了 rCore、rCore-Tutorial、zCore、RVM、ArceOS 等，本次议题将分享基于 Rust 开发 OS 内核的一些经验体会。

嘉宾：陈渝，清华大学计算机系软件所副教授

议题二：OSDK：新一代 Rust 操作系统开发框架

OSDK 是星绽（Asterinas）社区提出的新一代 Rust 操作系统开发框架。OSDK 基于创新的框内核架构进行开发。通过使用 OSDK，开发者只需使用安全的 Rust 编写代码，就能够开发通用的操作系统。此外，基于 OSDK 开发的操作系统，其编译、运行和测试都和应用程序一样简单。

嘉宾：姜剑峰，蚂蚁集团高级开发工程师。本硕都毕业于复旦大学，并拥有4年的 Rust 开发经验。目前主要从事星绽（Asterinas）操作系统的开发工作，是星绽社区的核心开发者。

议题三：初探Rust-for-Linux在内核中的发展历程

Linux 已经成为数字世界的基础设施，然而内存/线程安全问题一直困扰着整个社区，Rust-for-Linux（RFL）试图通过在内核中使用 Rust 语言开发来解决这个问题。但是 RFL 中 Rust 如何与 Linux 融合，RFL 在内核开发中的实际表现还少为人知。本报告将介绍 Rust 和 Linux 的融合情况，以及 RFL 在内核中的实际表现。

嘉宾：山宇轩，北京邮电大学在读硕士生，Rust 双内核操作系统 RROS 的 maintainer，中选 Rust 社区开源之夏，目前对实时操作系统/Rust-for-Linux 等方向感兴趣。

茶歇

议题四：面向产业需求的 RustSBI 引导程序方案

随着 RISC-V 桌面、服务器级应用的产品落地，产业界对 UEFI 和 LinuxBoot 引导的需求凸显出来。本次演讲，我们针对使用 RustSBI 的 Rust 引导程序，给出可能的设计和解决方案，来为具体的主板提出 UEFI 和 LinuxBoot 支持。针对产业界的安全需求，我们还将讨论如何将常用的 TEE 环境融入引导固件中，来保证具体内核的安全性。

嘉宾：洛佳，华中科技大学网络空间安全学院硕士研究生，长期致力于推广 RISC-V 架构和 Rust 语言生态，是 RustSBI 项目的维护者。

议题五：机密虚拟机中的 Rust 操作系统设计

本次分享将介绍机密虚拟机中一种基于代理内核架构的 Rust 操作系统设计，来减少机密虚拟机的可信计算基的大小，增强机密虚拟机的安全性。

嘉宾：周帅，南方科技大学 2021 级硕士研究生

议题六：Rust 在 OpenHarmony 中的应用

嘉宾：王兴，华为技术专家

交流 & 总结